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