theorem Th10: :: ORDERS_3:10

for P being non empty POSet_set
for A, B being Element of P holds MonFuncs (A,B) c= Funcs (Carr P)