assertion

Твердження

формулювання

оператор контролю