for E being non empty set
for A being Event of E st A <> {} holds
ex e being Singleton of E st e c= A