vacuous quantifier

Мат. пустой квантор