Квантор¶

Определение. Квантор всеобщности ∀x∈S: P(x) («для каждого x из S P(x) истинно»), существования ∃x∈S: P(x) («существует хотя бы один»), единственности ∃!x («существует ровно один»). Превращают предикат (свойство с переменной) в высказывание. Область переменной существенна.