for E being set st E <> {} holds
for B being Subset of E
for x being Element of E st not x in B holds
x in B `