命題
X を前順序集合(過去スレ008の139)とする。
Y を X の閉包系(>>668)とする。
X が完備(>>919)であれば Y も完備である。

証明
>>688より明らかである。