Definition talk:Greatest/Ordered Set

One possible context in which "unit element" can come up is in the case of Boolean algebras or similarly logic-infused ordered sets. &mdash; Lord_Farin (talk) 21:16, 21 August 2013 (UTC)


 * Yes I think I can see that - but as such it needs to be explained because it's not obvious. Perhaps a link to an appropriate place in the Boolean Algebra / Boolean Ring category structure, with a word or two of explanation as to why the unit is a maximum and null is a minimum. --prime mover (talk) 22:37, 21 August 2013 (UTC)


 * I fear we will need to leave the request for now, as there isn't even a description of the fact that a BA induces an ordering (at least, not on a dedicated page). &mdash; Lord_Farin (talk) 07:00, 22 August 2013 (UTC)


 * There's a section on it in Devlin (basically a set of linked exercises at the end of chapter 1). I will return in that direction in due course, but I got derailed when I was working through it last time by a series of complaints that I wasn't doing it right, so I did something else to cool off. --prime mover (talk) 11:42, 22 August 2013 (UTC)

Hey, who's that character writing up two years ago what I just came up with while re-reading the "explain" template? :) &mdash; Lord_Farin (talk) 22:13, 9 October 2015 (UTC)


 * I just put a comment on the page to link to the appropriate places -- this is probably going to be enough. --prime mover (talk) 09:26, 10 October 2015 (UTC)


 * Well done, thanks. &mdash; Lord_Farin (talk) 11:17, 10 October 2015 (UTC)