Equivalence of Definitions of Dipper Semigroup/Examples