Теория и практика дополнений бинарных отношений