So, assume that P {\displaystyle P} has at least one element, and let a {\displaystyle a} be a maximal element of P {\displaystyle P} .
Tegyük fel ezért, hogy P {\displaystyle P} -nek legalább egy eleme van, és legyen a {\displaystyle a} a P {\displaystyle P} -beli maximális elem.