Diskrete Mathematik/Gemischte Definitionsabfrage/2/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Ein Monoid $M$.
2. Der größte gemeinsame Teiler von natürlichen Zahlen $a_1,\dots ,a_k$.
3. Die Äquivalenzrelation ${\sim }_H$ zu einer Untergruppe  $H\subseteq G$  in einer kommutativen Gruppe $G$.
4. Ein Graphisomorphismus $\phi :G\to H$.
5. Ein vollständiger bipartiter Graph.
6. Die Paarungsbedingung für $A$ in einem bipartiten Graphen $G$ mit  $V=A\uplus B$. 

Zur Lösung, Alternative Lösung erstellen