:: deftheorem Defflat defines flat POSET_2:def 1 :
for IT being RelStr holds
( IT is flat iff ex a being Element of IT st
for x, y being Element of IT holds
( x <= y iff ( x = a or x = y ) ) );