C
ard_
E
quiv_
R
elations
Card_Equiv_Relations
Card_Partial_Equiv_Relations