The definition implies inclusion relationship between groups of the concepts’ examples on the one hand, and groups of attributes of the same concepts on the other. These inclusion relations have opposite directions (Hershkwitz et al.,1990). For example, the squares are included in the parallelograms, but the group of critical attributes of the squares contains the group of critical attributes of the parallelograms.