An Equivalence Relation on L

if x and y do not have any distinguishing suffix z.

e.g. For
1)
2)

is reflexive, symmetric & transitive.

• Equivalence Classes