Umkehrrelation

Seien A und B zwei beliebige Mengen. Sei R: (A, B).
Die Umkehrrelation von R, geschrieben R1: (B, A), ist definiert durch:

R1{(b,a)|(a,b)R}

Entsprechend gelte auf Elementebene die Regel:
(b,a)R1 gdw (a,b)R

Eigenschaften der Umkehrrelation

Seien A, B zwei beliebige Mengen. Sei R: (A, B). Dann gilt:

  1. (R1)1=R
  2. Ist R linkstotal, so ist R1 rechtstotal.
  3. Ist R rechtstotal, so ist R1 linkstotal.
  4. Ist R linkseindeutig, so ist R1 rechtseindeutig.
  5. Ist R rechtseindeutig, so ist R1 linkseindeutig.