Работа посвящена нахождению формул для вычисления количества бинарных отношений, обладающих различными комбинациями свойств «тотальность», «инъективность», «сюръективность», «однозначность». Рассмотрены случаи равномощных и неравномощных множеств. Формулы были получены при помощи прямого подсчета, введения вспомогательных функций, а также за счет использования связи свойств прямых и обратных отношений. Полученные результаты совпали с ожидаемыми при проверке численными экспериментами.
