Binární relace: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap |
|||
Řádek 50:
* '''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] ? ''B'' × ''A'', že [x,y] ? R.
* '''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] ? A × C, pro něž existuje takový prvek ''y'' v množině ''B'', že [x,y] ? R a [y,z] ? S, tedy
:<math>R \circ S = \{[x,z]; \exists y \in B: [x,y] \in R \
* '''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 ''R''?''S'' = {[x,y]; [x,y]?R ? [x,y]?S}
* '''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 ''R''?''S'' = {[x,y]; [x,y]?R ? [x,y]?S}
| |||