theorem :: YELLOW_2:50

for x being set
for L being non empty Poset holds
( x in dom (SupMap L) iff x is Ideal of L )