for X being set
for Si being SigmaField of X
for A, B being Event of Si holds A \ B is Event of Si by Th6;