[scubbo]

Is there also a mistake in the discussion of joins? At the start, it says:

> The least upper bound of two elements that are connected as part of an order is called the join of these elements...

but then at the end of that section it says

> Like with the maximum element, if two elements have several upper bounds that are equally big, then none of them is a join (a join must be unique). If, however, one of those elements is established as bigger than another, it immediately qualifies.

If the join is the least-upper-bound, shouldn't the final sentence read "...is established as smaller than another"? Or, I guess, the "it" could be referring to "another" rather than "one of". Maybe it's simply unclear rather than incorrect.