Общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.