Композиція відносин - студопедія
Нехай дано три безлічі X, Y, Z і два відносини і. Композиція ставлення-ний А і В є відношення С = А ° В, що складається з усіх тих пар, для яких існує таке у ÎY, що (х, у) Î А та (у, z) Î В.
Перетин відносини С = А ° В по х збігається з перетином відносини В по підмножині А (х)Î Y, т. Е. С (х) = В (А (х)).
Граф композиції відносин виходить з графів вихідних відносин заміною двох стрілок, кінець однієї з яких є початком іншої, на стрілку, початок якої збігається з початком першої, а кінець з кінцем другий.
Матриця композиції відносин є твором матриць вихідних відносин, взятих в зворотному порядку, з заміною всіх ненульових елементів на 1.
Граф композиції цих відносин наведено на рис. 2.3.
Мал. 2.3. Граф композиції С = А ° В;