Насчет "может задаваться как угодно" я наверное погорячилась. Не совсем так: операция считается определенной на множестве, если результат операции принадлежит этому множеству. В данном примере это условие выполнено.
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.