for E being non empty set
for e being Singleton of E
for A being Event of E holds
( e misses A or e /\ A = e )