Транзитивное отношение

отношение, при котором из aRbaRbaRb и bRcbRcbRc следует aRcaRcaRc.

» Глоссарий