Munosabatlar superpozitsiyasi. Tа’rif

Munosabatlar superpozitsiyasi.
Tа’rif. va binar munosabatlar uchun predikat quyidagicha aniqlangan bo`lsin: shart bilan aniqlangan ixtiyoriy uchun shunday topiladiki, o`rinli bo`ladi. ga P va Q munosabatlarning superpozitsiyasi deyiladi.

Demak ,

Misol 1. ={1,2,3}, B={a, b, c} va C={x, y, z} to`plamlar berilgan bo`lsin.

P  A B={(1;a);(1:c);(2;b);(2;c);(3;a)};

Q  B C={(a; x);(a; y);(b; y);(b; z);(c; x);(c; z)};

A C\{(3;z)}={(1;x);(1;y);(1;z);(2;x);(2;y);(2;z);(3;x);(3;y)}.