Talk:Meet is Associative

The "expand" comment is mystifying, as there is no indication anywhere in this page about "partial operation" or "total operation". Unless I've missed a crucial point, an operation on a set is defined as being total. There is nothing in the definition of "meet" which suggests partialness. And as a semilattice has been defined, as a semigroup with extra conditions, that guarantees that meet is closed, total and associative already.

Is there a need to take a more abstract view on semilattices so as to allow non-associative, non-total operations? --prime mover (talk) 10:18, 4 January 2013 (UTC)