Словарь по логике
Произведение бинарных отношений
R
1
• R
2
= {<x, y> / существует z такое, что (<x, z>єR
1
& <z, y>єR
2
)}.
© Автор статьи.