for T being non trivial set
for X being non trivial Subset of T
for p being set ex q being Element of T st
( q in X & q <> p )