رابطه ای منطقی که میتوان آن را با عبارت به ازای همه یا به ازای هر بیان کرد .
universal quantifier
سور عمومی
quantifier
سور
first order language
زبان مرتبه اول