Equivalence Relation

Let R be a binary relation on S.

Then R is an equivalence relation on S iff

R is reflexive on S.

R is symmetric

R is transitive

Example. Suppose S is the set of all people living at midnight on New Year’s Eve 2000.

(x, y) is in R iff x and y have the same first name.

Previous slide

Next slide

Back to first slide

View graphic version