theorem Th29: :: MEASUR11:35

for X, Y being non empty set
for E1, E2 being Subset of [:X,Y:]
for p being set st E1 misses E2 holds
( X-section (E1,p) misses X-section (E2,p) & Y-section (E1,p) misses Y-section (E2,p) )