theorem Th33: :: BVFUNC_6:135

for Y being non empty set
for a, b, c, d being Function of Y,BOOLEAN st a '<' b & c '<' d holds
a '&' c '<' b '&' d