generated at
ツォルンの補題

http://www.aoni.waseda.jp/sadayosi/course/past/set09/section1.4.pdf