Card_Equiv_Relations.Card_Partial_Equiv_Relations