1. Refleksiv: a ~ a for alle a ∈ X.
2. Symmetrisk: a ~ b ⇒ b ~ a for alle a, b ∈ X.
3. Transitiv: a ~ b og b ~ c ⇒ a ~ c for alle a, b, c ∈ X.

Er a ~ b siger man, at a og b er ækvivalente.

På enhver mængde X er relationen lighed (=) og relationen, hvor alle elementer i X er ækvivalente, begge ækvivalensrelationer. Det er den mindste hhv. største ækvivalensrelation på X. Opfattet som mængder er lighed nemlig diagonalen { (a, a) | a ∈ X }, og den anden relation er hele X×X.