Meets and joins of total order

In a total order, the meet of a set is ?its infimum, while the join is ?the supremum.

Note that \(\mathbb{B}\) is a total order, to generalize Example 1.88.