theorem Th14: :: MEASUR11:20

for X, Y, p being set
for E1, E2 being Subset of [:X,Y:] st E1 c= E2 holds
X-section (E1,p) c= X-section (E2,p) by RELAT_1:124;