for L, M being non empty RelStr st L,M are_isomorphic & L is reflexive holds
M is reflexive