Пример 2.28.
Домустим, что на множестве 
как на множестве людей заданы отношения 
, 
и 
, 
, означающие следующее:
«быть братом», а 
«быть родителем». Тогда соотношение 
(или
) читается как т 
является братом 
, а соотношение 
(или 
) ─ является родителем 
. Тогда отношение 
означает «брат одного из родителей» или «дядя» а соотношение 
(или 
) соответствует «является дяей .
Раньше в русском языке (так до сих пор в польском) различались дядя ─ брат отца (Стрый) и дядя ─ брат матери (вуй). Это оттличие легко формулируется в терминах произведения отношений.