>>217
Bの最大元は x∈Bで∀y∈Bに対してy⊆xとなるもの
Bの下限は x∈P(A)で∀y∈Bに対してx⊆yとなるもののうち最大のもの
Bの上限は x∈P(A)で∀y∈Bに対してｙ⊆ｘとなるもののうち最小のもの
どれも存在すればただ1つ