1. Proposition 4.6.1

Let $(Σ, \leq)$ be a poset. Then the following statements are equivalent:

Remark

Here, let $T \subseteq Σ$ . Then $x \in T$ is maximal in $T$ if for all $y \in T$ , $x \leq y$ implies that $x = y$ .