for A being non empty Poset
for a, c being Element of A holds
( a < c iff a in LowerCone {c} )