Equivalence relations with at most two classes on a fixed set $E$ have a natural group-structure (identify them with the quotient group formed by maps from $E$ into $\{\pm 1\}$ modulo constant maps (the product is multiplication of function)). No natural product exists for equivalence relations with more than two classes.