Theorem. Pointedness via lubs [dt-0019]Liam O'Connor A poset Y is pointed iff \bigsqcup \emptyset exists, as the lub of an empty set is just the bottom element in the poset, i.e. \bigsqcup \emptyset = \bot .