[символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате ее применения.