Описание бинарных отношений и прямого произведения множеств с упорядоченными парами