Completed basic operators semantics