====== DISTG: Specifying a Difference ======

**Definition**:  The assertion ''(g DISTG a)'' specifies the distinctness of a whole class ''g'' of objects with regard to the attribute ''a''. In this way, it represents a multitude of relations, each stating a distinction between another pair of elements of ''g''.