Geordnetes und gerichtetes System/Von Mengen/Definition

Gerichtetes System

Sei eine geordnete Indexmenge. Eine Familie

von Mengen nennt man ein geordnetes System von Mengen, wenn folgende Eigenschaften erfüllt sind.

  1. Zu gibt es eine Abbildung .
  2. Zu und ist .

Ist die Indexmenge zusätzlich gerichtet, so spricht man von einem gerichteten System von Mengen.