for X being non empty set
for f being Subset of X st f is Element of singletons X holds
f is 1 -element