Tranzitivní uzávěr: Porovnání verzí

Smazaný obsah Přidaný obsah
Addbot (diskuse | příspěvky)
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) \impliesRightarrow ([a,c] \isin M))]</math>
 
== Příklad ==