Zum Inhalt springen

Ordnungstheorie/Ordnungsrelation/Definition

Aus Wikiversity
Ordnungsrelation

Eine Relation auf einer Menge heißt Ordnungsrelation oder Ordnung, wenn folgende drei Bedingungen erfüllt sind.

  1. Es ist für alle .
  2. Aus und folgt stets .
  3. Aus und folgt .