Корректность бинарной операции.

[RealistME]

Что подразумевает высказывание "введенная бинарная операция корректна"?
Спасибо!

[Kallikanzarid]

Обычно, что ее область значения лежит в интересующем нас множестве, но лучше дайте контекст.

[bot]

Скорее здесь иной контекст. Например, определяем умножение на смежных классах группы по её нормальной подгруппе через умножение представителей классов. Корректность означает, что определение умножения не зависит от выбора представителей.