Formation of partially and fully elaborated generalized equivalence classes

Formation of partially and fully elaborated generalized equivalence classes