theorem Th15: :: MEASUR11:21

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