Definition talk:Commutative Semigroup with respect to Equivalence Relation

Not sure if it is possible, but when semigroups on classes can also exist without equivalence relations, it might be better to have a 'Definition:Commutative Semigroup' and a 'Definition:Semigroup WRT Equivalence Relation'. --Lord_Farin 13:26, 23 January 2012 (EST)