Lemat Kuratowskiego-Zorna: Różnice pomiędzy wersjami

Podzbiór <math>\scriptstyle C</math> zbioru <math>\scriptstyle P</math> nazywa się ''liniowo uporządkowanym'', jeżeli dowolne jego dwa elementy można porównać za pomocą relacji <math>\scriptstyle \preccurlyeq;</math> zbiór <math>\scriptstyle C</math> nazywa się wtedy ''łańcuchem'' w <math>\scriptstyle P.</math> Element <math>\scriptstyle u \in P</math> nazywa się ''ograniczeniem górnym'' łańcucha <math>\scriptstyle C,</math> jeśli element <math>\scriptstyle u</math> jest późniejszy od jakiegokolwiek innego elementu tego łańcucha.

 

 

== Twierdzenie ==