- Man nennt
-
![{\displaystyle {}M/\sim :={\left\{[x]\mid x\in M\right\}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07ffc58b9cf22885757d87e8600706ad426255be)
die Quotientenmenge von
.
- Die Abbildung
-
heißt Ringhomomorphismus, wenn folgende Eigenschaften gelten:
.
- Eine Teilmenge
heißt
Partition
von
, falls die folgenden Bedingungen erfüllt sind.
- Für alle
gilt
.
- Für
,
,
gilt
.
- Die Elemente von
bilden eine Überdeckung von
, d.h. jedes Element von
liegt in mindestens einem Element von
.
- Unter einer
Matrixrekursion
versteht man die Bedingung
-

- Eine formale Potenzreihe ist ein Ausdruck der Form
-

mit
für alle
.
- Ein
Graph
heißt
vollständig,
wenn je zwei Punkte miteinander durch eine Kante verbunden sind.