2.20 EquivalenceClasses

EquivalenceClasses( rel )

returns the list of equivalence classes of the equivalence relation rel. It will signal an error if rel is not an equivalence relation (see IsEquivalence).

    gap> EquivalenceClasses( Relation( [ [ 1 ], [ 2, 3 ], [ 2, 3 ] ] ) );
    [ [ 1 ], [ 2, 3 ] ] 

   
[Index]