Diskrete Mathematik/Gemischte Definitionsabfrage/6/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

Eine Permutation $σ$ auf einer Menge $M$ .
Eine ordnungstreue Abbildung
$F : M_{1} ⟶ M_{2},$

zwischen den geordneten Mengen $(M_{1}, \leq_{1})$ und $(M_{2}, \leq_{2})$ .
Die Quotientenmenge zu einer Äquivalenzrelation $\sim$ auf einer Menge $M$ .
Es sei $R_{1} \subseteq M_{1} \times N_{1}$ eine Relation zwischen $M_{1}$ und $N_{1}$ und $R_{2} \subseteq M_{2} \times N_{2}$ eine Relation zwischen $M_{2}$ und $N_{2}$ . Wann nennt man die beiden Relationen isomorph?
Das kartesische Produkt der beiden Graphen $G = (V, E)$ und $H = (W, F)$ .
Eine optimale Paarung $P \subseteq E$ in einem Graphen $G$ .