█████ (█████████████████)

In der ███████ oder ███████████ der █████████████████ ist der ██████████ █████ (oder ███████ █████ oder ███████ █████) eine ████████████, mit der ███ ████████████ in ████████ █████ █████████████████ ██████████ █████████ kann. Das ████████ ██████ ███████████████████ wird vor allem ████████ von ███████████ zwischen ██████ ██████████.

Die ████████ ████████████ █████████ den █████ ███ ██████ oder █████████ ████████████ ██████████, die ████████ von ███████ (█████████, ███████████, ███████████████) █████████ sind. Als ████████ werden ███████ █████████.

███████ █████ eine █████████████ █████ ${\displaystyle (I,>)}$, ███ █████ ${\displaystyle i\in I}$ eine ██████ ${\displaystyle X_i}$ und ███ je ████ ███████ ${\displaystyle i,j\in I}$ mit ${\displaystyle i>j}$ ein █████████████████████

${\displaystyle f_{ij}:X_i\to X_j.}$

█████ ██████████████ █████ außerdem ███████████ in dem █████, dass ███ ${\displaystyle i>j>k}$ ████:

${\displaystyle f_{ik}=f_{jk}\circ f_{ij}}$

(„um von ${\displaystyle i}$ nach ${\displaystyle k}$ zu ██████, kann ███ auch einen █████ ████ ${\displaystyle j}$ ██████“).

Der ██████████ █████ ${\displaystyle \underset{i\in I}{\underleftarrow{\mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}}}{X}_i}$ ist die █████ aller ████████ ${\displaystyle (x_i{)}_{i\in I}}$ mit ${\displaystyle x_i\in X_i}$ mit der ███████████

${\displaystyle f_{ij}(x_i)=x_j}$ ███ ${\displaystyle i>j}$.

Durch die ████████████████ ██████████ ██████ ███████████ ████ die █████████████ in den ███████████ ${\displaystyle X_i}$ wird ${\displaystyle \underset{i\in I}{\underleftarrow{\mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}}}{X}_i}$ zu einer ██████.

Der ██████████ █████ ${\displaystyle \underset{i\in I}{\underleftarrow{\mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}}}{X}_i}$ ████████ mit den ██████████████

${\displaystyle {\mathrm{p}\mathrm{r}}_i:\underset{j\in I}{\underleftarrow{\mathrm{<span\; word-length="3"\; class="word\; redacted">███</span>}}}{X}_j\to X_i,(x_j{)}_{j\in I}\mapsto x_i,}$