partial statement

Мат. частное высказывание