Tranzitivní uzávěr: Porovnání verzí
Smazaný obsah Přidaný obsah
m Bot: Odstranění 12 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q1501387) |
m Zmena symbolu pro implikaci |
||
Řádek 2:
Matematicky vyjádřeno, pro '''tranzitivní uzávěr''' <code>R'</code> binární relace R platí:<br />
<math> R'=\cap_M[(R \subseteq M) \and ( \forall a,b,c)(([a,b] \isin M \and [b,c] \isin M) \
== Příklad ==
|