for S being non empty complete continuous Poset
for A being set st A is_FreeGen_set_of S holds
A is Subset of S