theorem Th14: :: MEASUR11:20

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