Обратные бинарные отношения в математике и логике