Geordnetes System/Von Mengen/Kolimes/Definition

Kolimes

Es sei , , ein gerichtetes System von Mengen. Dann nennt man

den Kolimes (oder induktiven Limes) des Systems. Dabei bezeichnet die Äquivalenzrelation, bei der zwei Elemente und als äquivalent erklärt werden, wenn es ein mit und mit

gibt.