Транзитивность бинарных отношений: теория и примеры