# Zorn’s Lemma / Kuratowski’s Lemma Part 2

Hello, infinite-set reader. Set theory is back.

Finally. Today we will discuss about Zorn’s Lemma. This lemma is also often referred to as Kuratowski’s Lemma. Lemma’s name is taken ‘the inventor’, i.e Max Zorn and Kazimierz Kuratowski. May be sometime I will post about the history of Zorn’s Lemma. The previous post is on this link. Happy reading. Kuratowski’s Lemma

**(x) Theorem : (Zorn’s Lemma / Kuratowski’s Lemma)**

For any non-empty poset that each simply ordered subset has a upper bound then has at least one maximum element.

**Proof :**

Since each well ordered set is simply ordered set then the proof is analog like a proof of Theorem in the previous post.

At **Theorem (x) above** and **Theorem (y)** at this link, the theorem is equivalent to saying that for any non-empty poset that the every well/simply ordered subset has an upper bound then has at least one maximum element. In other words, for any there is maximum element of such that .

**Theorem :**

If is the set of all simply ordered subset of poset which are partially ordered by then every simply ordered subset of has the smallest upper bound.

**Proof :**

Take any simply ordered subset of poset . If then . Next, for , consider :

It will be proved first that is simply ordered subset of . Take any then there is such that and . Since is simply ordered set then apply or . Consequently and are both elements of or . Since and is simply ordered set then apply or . Proved is simply ordered subset of . Consequently is the smallest upper bound of cause for any , it is true that .

Based on the above description, then simply ordered subset of poset above is called

largest simply ordered subsetof . So is called largest simply ordered subset of if is not proper subset of the other simply ordered subset of .

Thanks for reading. See you in the next post. May be useful. Kuratowski’s Lemma