Tranzitivno refleksivna ovojnica

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Naj bo R binarna relacija na množici A. Z R* označimo tranzitivno refleksivno ovojnico relacije R. To je relacija, ki zadošča naslednjim pogojem:

  1. RR*,
  2. Relacija R* je tranzitivna in refleksivna relacija.
  3. R* je najmanša relacija, ki zadošča pogojema 1. in 2.

Digraf irefleksivne relacije R je acikličen, če in samo če je relacija R* relacija delne urejenosti.

Gelj tudi

Osebna orodja