User talk:Lord Farin/Backup/Definition:Semilattice

This definition of semigroup accesses a level of abstraction considerably higher than we have so far explored on ProofWiki. It might be worth establishing this definition first in terms of sets and equality of elements, rather than classes and general equivalence relations, until we have constructed all the machinery that defines an abstract algebraic structure in terms of a general class on which is defined an equivalence relation.

What does anyone else think? --prime mover 04:23, 23 January 2012 (EST)
 * After reading this introduction to class theory, I still couldn't make sense of the notation used; a version with sets is probably necessary anyway because most people aren't familiar with the rather technical theory of classes (including myself as of yet). --Lord_Farin 05:14, 23 January 2012 (EST)