Zwei Mengen mit Relationen ( M , R ) {\displaystyle {}(M,R)} und ( N , S ) {\displaystyle {}(N,S)} heißen isomorph, wenn es einen Isomorphismus
gibt.