Tranzitivní uzávěr: Porovnání verzí
Smazaný obsah Přidaný obsah
m Zmena symbolu pro implikaci |
Bližší zdůvodnění řešení příkladu a úprava formátování. značka: editace z Vizuálního editoru |
||
Řádek 1:
'''Tranzitivní uzávěr''' [[binární relace]] R je definován jako nejmenší (z hlediska množinové [[Inkluze (matematika)|inkluze]]) [[Tranzitivní relace|tranzitivní]] [[nadmnožina]] R.
Matematicky vyjádřeno, pro '''tranzitivní uzávěr R' ''
<math> R'=\cap_M[(R \subseteq M) \and ( \forall a,b,c)(([a,b] \isin M \and [b,c] \isin M) \Rightarrow ([a,c] \isin M))]</math>
Řádek 9 ⟶ 10:
<math>R=\{(1,2),(2,3)\}</math>
<math>R'=\{(1,2),(2,3),(1,3)\}</math>
|