Binární relace: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap |
m odstranění znaků ? značky: první editace editace z Vizuálního editoru |
||
Řádek 48:
== Operace ==
Na množině binárních relací jsou definovány následující operace - jejich výsledkem je opět relace
* '''Inverzní relace''' k relaci ''R'' je taková relace R<sub>-1</sub> (R<sup>-1</sup>) mezi množinami ''B'' a ''A'', obsahující právě ty [y,x]
* '''Relace složená''' z relací ''R'' a ''S'' je relace <math>T = S \circ R</math> (R složeno s S) z množiny ''A'' do množiny ''C'', která obsahuje právě taková [x,z]
:<math>R \circ S = \{[x,z]; \exists y \in B: [x,y] \in R \land [y,z] \in S\}</math>
* '''Průnik''' relací ''R'' a ''S'' je relace <math>R \cap S</math> obsahující pouze takové uspořádané dvojice, které se nacházejí současně v obou relacích. Tedy<br /> ''R ∩''
* '''Sjednocení''' relací ''R'' a ''S'' je relace <math>R \cup S</math> obsahující takové uspořádané dvojice, které se nacházejí alespoň v jedné z relací. Tedy<br /> ''R''
[[Kategorie:Matematické relace a zobrazení]]
|