ツォルンの補題
http://www.aoni.waseda.jp/sadayosi/course/past/set09/section1.4.pdf