Definition von Subdomain, Urteilssatz und Eigenschaften