Es seien M {\displaystyle {}M} und N {\displaystyle {}N} Mengen. Zeige, dass man jede Relation zwischen M {\displaystyle {}M} und N {\displaystyle {}N} als eine Relation auf der Menge M ⊎ N {\displaystyle {}M\uplus N} auffassen kann. Welche Relationen auf M ⊎ N {\displaystyle {}M\uplus N} treten in dieser Weise auf?
