for x, y being object holds x .--> y is_isomorphism_of {[x,x]},{[y,y]}