In the John's Kelley "General Topology" (pages 3234) there is definition of both of them and its look like its just different ways of notation of one proposition. But also there is something strange on page 34 that is called "proof" and perhaps is just a sequence of random words.
Asked
Active
Viewed 83 times
4
Nicky Hekster
 42,900
 7
 54
 93
Andrey Komisarov
 505
 2
 13

3It's okay to ask about proofs written in books, and about the difference between HMP and ZL, but this is not the way to do so. This is the way to alienate the very people from whom you've asked for help. Be respectful of the text, and be aware that most people will not have a copy of the book to look and clarify exactly what is going on, so you need to make your post selfcontained to the best of your abilities. – Asaf Karagila Jun 25 '20 at 12:15

I removed an abbreviation you should not be using here. – Nicky Hekster Jun 25 '20 at 13:41

1Lol at the tag "fake proofs". Any proof looks like a "sequence of random words" to those without the background or mathematical maturity to understand it. – Alex Kruckman Jun 25 '20 at 19:47
1 Answers
2
It’s perfectly straightforward: the Hausdorff maximal principle is the special case of the Kuratowski lemma in which the partial order is some family of sets ordered by $\subseteq$. It just happens that the more general result follows from the special case — as is shown on page $34$. This should not be an unfamiliar phenomenon: in elementary calculus one learns that the Mean Value Theorem is easily proved from Rolle’s Theorem, which is clearly just a special case of it.
Brian M. Scott
 588,383
 52
 703
 1,170

I know about proving general results by special, I seen the proof of Taylor series for $\mathbb{R}^n$ from onedimension case. And is it true that all action is in proving that exist some bijection with respect to something? – Andrey Komisarov Jun 25 '20 at 20:27

3