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
.