theorem :: WAYBEL32:18

for T being non empty finite up-complete Poset
for S being Subset of T holds S is inaccessible