Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Ein Monoid ${\displaystyle {}M}$.
2. Der größte gemeinsame Teiler von natürlichen Zahlen ${\displaystyle {}a_{1},\ldots ,a_{k}}$.
3. Die Äquivalenzrelation ${\displaystyle {}\sim _{H}}$ zu einer Untergruppe ${\displaystyle {}H\subseteq G}$ in einer kommutativen Gruppe.
4. Ein Graphisomorphismus ${\displaystyle {}\varphi \colon G\rightarrow H}$.
5. Ein vollständiger bipartiter Graph.
6. Die Paarungsbedingung für ${\displaystyle {}A}$ in einem bipartiten Graphen ${\displaystyle {}G}$ mit ${\displaystyle {}V=A\uplus B}$.