Green's relations

Also known as Green's equivalence relations

five equivalence relations (H, L, R, D, J) defined on any semigroup or monoid