Another Equivalence Relation

Let S = { a, b, c, d, e}

Let R = { (a,a), (b,b), (c,c), (d,d), (e,e) (a,b), (b,a),

(a,c), (c,a), (b,c), (c,b), (d,e), (e,d) }

S can be partitioned into two subsets, such that within each subset, all the elements are related in both directions.

P = { {a, b, c}, {d, e}}

The two subsets are called equivalence classes.

They are "induced" by R.

Previous slide

Next slide

Back to first slide

View graphic version