Подстраница "Користувач:Галактион/Лема Цорна" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Лема Цорна". Галактион 09:48, 5 березня 2010 (UTC)
Дополнение к статье "Лема Цорна"
Видимо, автор статьи хотел сказать следующее:
![{\displaystyle ~\forall _{x\ \in \ X}\ (x\leq x)\quad \land }](https://wikimedia.org/api/rest_v1/media/math/render/svg/973385b7dff0fcdccdf6415d72cc15c5a797675f)
![{\displaystyle ~\forall _{\{x,y\}\ \subseteq \ X}\ (x\leq y\ \land \ y\leq x\to x=y)\quad \land }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dea00cbddb86b361d60a1c662f37f644f2dcec0b)
![{\displaystyle ~\forall _{\{x,y,z\}\ \subseteq \ X}\ (x\leq y\ \land \ y\leq z\to x\leq z)\quad \land }](https://wikimedia.org/api/rest_v1/media/math/render/svg/018aa3428143ecbaed8d8d8a7be972500b5ac09f)
![{\displaystyle ~\forall _{\{x,y\}\ \subseteq \ Y}\ (x\leq y\ \land \ y\leq x\to x=y)\quad \land }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc4d90623547fd6872b55de2eb1d514da261df8)
![{\displaystyle ~\forall _{\{x,y,z\}\ \subseteq \ Y}\ (x\leq y\ \land \ y\leq z\to x\leq z)\quad \land }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f67f460c9bf682b849f6df0fe0ae8e633f90103)
![{\displaystyle ~\forall _{\{x,y\}\ \subseteq \ Y}\ (x\leq y\ \lor \ y\leq x)\quad \to \quad \exists _{y\ \in \ X}\ \forall _{x\ \in \ Y}\ (x\leq y)\ )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5391b3d63fcf765b32890d406c63a44d5ebb3658)
![{\displaystyle ~\to \quad \exists _{y\ \in \ X}\ \forall _{x\ \in \ X}\ (x\leq y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cbd9ae312255df98603eccb3d6a73d0f03eceda)
Галактион 08:25, 26 серпня 2009 (UTC)