UP | HOME

zorn's lemma

Let \(P\) be a poset. If every chain \(S\) has an upper bound in \(P\), then \(P\) has at least one maximal element.

Question for me: What is an example of \(P\) that has a chain \(S\) with upper bound not in \(P\)? To even be comparable with the elements of \(S\), doesn't the upper bound have to be \(P\)? Answer: Oh I guess you can define \(P\) to be anything you want. Two elements can be comparable, but you can draw the boundaries of \(P\) to exclude one of them.

1. links

Created: 2025-11-02 Sun 18:55