# B Equivalence Class Question

1. May 28, 2017

### kidsasd987

I am struggling with the notation "=" of the property (a) which concludes to [a]=[m].
shouldn't it be [a]⊆[m], just like [m]⊆M.

2. May 28, 2017

### Staff: Mentor

What does $a \in [m]$ mean? And what can be said about all elements $b \sim a$ if we use transitivity of $\sim$?
In retrun, what does it mean for all elements $c \sim m$?