Properties of binary relations

In der Informatik , insbesondere in der Nebenläufigkeitstheorie , ist eine Abhängigkeitsrelation eine symmetrische und reflexive : 6 binäre Relation auf einem endlichen Definitionsbereich ; : 4 d. h.

In der Mathematik sind euklidische Relationen eine Klasse binärer Relationen , die das „ Axiom 1 “ in Euklids Elementen formalisieren : „Größen, die gleich sind, sind einander gleich.“

In der Mathematik ist eine Totalordnung oder lineare Ordnung eine partielle Ordnung, in der je zwei Elemente vergleichbar sind.

In der Mathematik heißt eine binäre Relation R ⊆ X × Y zwischen zwei Mengen X und Y total (oder links total ), wenn die Quellmenge X gleich dem Definitionsbereich { x : es gibt ein y mit xRy } ist.

Der mathematische Begriff der Quasitransitivität ist eine abgeschwächte Form der Transitivität und findet Anwendung in der Sozialwahltheorie und der Mikroökonomie .

Alle Definitionen fordern stillschweigend, dass die homogene Relation transitiv ist : für alle wenn und dann.