Binary Operations

Equivalence Relations