== Բինար Հարաբերություններ և գործողություններ նրանց հետ==
* Հարաբերություն - <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\underline i(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>A=pr\underline1\alpha</math>։ Ամենուրեք որոշված <math> \alpha \subseteq A \times B</math> ֆունկցիանալ հարաբերությանն անվանում են ֆունկցիա կամ <math>A</math> բազմության արտապատկերում <math>B</math> բազմության մեջ և գրում <math> \alpha : A \to B</math>: <math>A=pr\underline1\alpha</math> բազմությանն անվանում են ֆունկցիայի որոշման տիրույթ, իսկ <math>pr\underline2\alpha \subseteq B</math> բազմությանը՝ ֆունկցիայի արժեքների բազմություն։
* Արտապատկերում - Ամենուրեք որոշված <math> \alpha \subseteq: A \timesto B</math> ֆունկցիանալֆունկցիային հարաբերությաննկանվանենք անվանում<math>A</math> են ֆունկցիա կամբազմության արտապատկերում <math>AB</math> բազմության վրա կամ սուրյեկտիվ արտապատկերում, եթե <math>pr\underline2\alpha = B</math>, բազմությանկամ մեջոր ևնույնն գրումէ, եթե ստույգ է <math> \alphaforall :y A(y \toin B) \exists x (x\in A) (x\alpha y) </math> պնդումը :
