Wikipedie

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

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
JAnDbot (diskuse | příspěvky)
Roboti
1 711 601 editací
Bez shrnutí editace
Řádek 1:
{{Upravit}}
 
'''Tranzitivní uzávěr''' binární relace R je definován jako nejmenší (z hlediska množinové inkluze) tranzitivní nadmnožina R.
'''Tranzitivní uzávěr''' zahrnuje veškeré relace, které vzniknou „transitivně“, tj. transitivní uzávěr množiny '''M*''' je množina sjednocená s jinou množinou, která obsahuje relace vzniklé přes více relací z množiny.
 
Matematicky vyjádřeno, pro '''tranzitivní uzávěr''' <code>R'</code> binární relace R platí:<br />
Např.:
<math> R'=\cap_M[(R \subseteq M) \and ( \forall a,b,c)(([a,b] \isin M \and [b,c] \isin M) \implies ([a,c] \isin M))]</math>
 
<code>R = {(a,b), (b,c)}
 
R' = R &cup; {(a,c)}
</code>
 
{{Matematický pahýl}}
Citováno z „https://cs.wikipedia.org/wiki/Tranzitivní_uzávěr“