في الرياضيات، تسمى التعبيرات «لِكُلِّ» و «يوجد على الأقل/بعض»، المستخدمة في صياغة القضايا الرياضية في المنطق الإسنادي، التكميمات أو التسويرات (الإنجليزية: Quantifications). يطلق على الرموز التي تمثلها بلغة شكلية المُكَمِّمَات أو الأسوار (الجمع: سور) أو المسوّرات (الإنجليزية: Quantifiers).