Definitional Equivalence related domains (1)