Category:Equivalence of Definitions of Dipper Semigroup