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.