for E being set
for A being Subset of E st A <> {} holds
ex x being Element of E st x in A