Clifford semigroup

A Clifford semigroup (sometimes also called "inverse Clifford semigroup") is a completely regular inverse semigroup.
It is an inverse semigroup with
formula_1. Examples of Clifford semigroups are groups and commutative inverse semigroups.
In a Clifford semigroup, formula_2.