theorem Th11: :: ORDERS_3:11

for A, B being RelStr holds MonFuncs (A,B) c= Funcs ( the carrier of A, the carrier of B)