Я тут размышляю об организации онтологии для языка высокого уровня. И неожиданно обнаружил, что не знаю определения термина "оператор" для языка высокого уровня.
Все мы говорим, что есть операторы условные, цикла и т.п. А каким образом определить само понятие "оператор" без уточнения его функции?

Любые размышления приветствуются.