Geordnetes und gerichtetes System/Von Mengen/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.