Logical geometry related domains (1)