Операция - это математическое действие, которое выполняется над элементами множества. При определении операции следует указать её ассоциативность, сочетаемость и коммутативность (это не я, это ChatGPT).

сочетаемость - если результат операции принадлежит тому же множеству, что и её аргументы

идемпотентность - повторное применение операции к элементу не изменит результата.
(свойство объекта или операции при повторном применении операции к объекту давать тот же результат, что и при первом)