Zorn's Lemmaは全順序集合である必要はないと思うが
でもやっぱりいい本書くな杉浦松坂