for E being non empty set
for e being Singleton of E ex a being Element of E st
( a in E & e = {a} )