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