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