主張 空でない帰納的半順序集合は極大元を有する． (証明の方針) ① i.e. 1つの元 ② 1つの集合 ③ < ：半順序集合 ④ i.e. < < ⑤ i.e. 1つの元 ⑥ i.e. とする．このときが極大元すなわち となるようなをもつことを示す．そのために，反射的閉包及び非反射的閉包…

1. 関係が反射的である，とする．このときである． (証明の方針) は反射的であるのでである．すなわち．したがって，反射的関係を得る． 2. 関係が非反射的である，とする．このときである． (証明の方針) との定義をそのまま用いればよい．は非反射的である…