for A being non empty Poset
for a being Element of A
for S being Subset of A holds not a in InitSegm (S,a)