«Աբստրակտ հանրահաշիվ»–ի խմբագրումների տարբերություն
Content deleted Content added
Տող 7.
== Բինար Հարաբերություններ և գործողություններ նրանց հետ==
* Հարաբերություն - <math> A \times B</math> [[դեկարտյան արտադրյալ]]ի <math> \alpha \subseteq A \times B</math> ենթաբազմությունն անվանում ենք բինար հարաբերություն <math>A</math> և <math>B</math> բազմությունների տարրերի միջև։ <math>A</math> և <math>B</math> բազմությունները կոչվում են բինար հարաբերության հենքային բազմություններ։ <math> \alpha \subseteq A \times B</math> հարաբերության պրոյեկցիան i-րդ առանցքի վրա կանվանենք այն բազմությունը, որի տարրերն են i-րդ առանցքի վրա <math> \alpha</math>- ի տարրերի պրոյեկցիանները և միայն նրանք․ <math>pr\alpha = \{pr(a,b) /a \alpha b\}</math>
* Ֆունկցիոնալ հարաբերություն - <math> \alpha \subseteq A \times B</math> հարաբերությունն անվանենք ֆունկցիոնալ հարաբերություն, եթե ստույգ է <math> \forall x (x \in A) |\alpha(x)| \leq 1 </math> պնդումը։ <math> \alpha \subseteq A \times B</math> ֆոունկցիոնալ հարաբերությունը աանվանենք ամենուրեք որոշված , եթե <math> \forall x (x \in A) |\alpha(x)| = 1 </math>։
* Արտապատկերում - Ամենուրեք որոշված <math> \alpha \subseteq A \times B</math> ֆունկցիանալ հարաբերությանն անվանում են ֆունկցիա կամ <math>A</math> բազմության արտապատկերում <math>B</math> բազմության մեջ և գրում <math> \alpha : A \to B</math>:
| |||