for P being non empty chain-complete Poset
for L being non empty Chain of P
for p being Element of P st p in L holds
p <= sup L