theorem Th7: :: ORDERS_3:7

for T being non empty RelStr holds id the carrier of T in MonFuncs (T,T)