Card_Equiv_Relations.Card_Equiv_Relations