theorem :: YELLOW_2:11

for L being non empty RelStr holds id L is monotone