Что такое m(ро)n и что значит "чему оно равно"? Это число?
Обычно такая запись означает, что пара (m,n) принадлежит бинарному отношению ро на некотором множестве..
Например истинность высказывания 5<6 означает, что пара (5,6) принадлежит бинарному отношению "<" на множестве, например, натуральных чисел.
P.S. Если я правильно вспомнил.
правильно