theorem :: ORDERS_2:25

for A being non empty Poset
for a being Element of A holds InitSegm (({} A),a) = {} ;