ในความหมายเชิงรูปธรรมคำกริยาจะถูกกำหนดปริมาณหากการที่คำกริยานั้นเป็นจริงสำหรับสิ่งใดสิ่งหนึ่งจำเป็นต้องไม่เป็นจริงสำหรับส่วนย่อยที่แท้จริงของสิ่งนั้น ตัวอย่างเช่น หากสิ่งใดสิ่งหนึ่งเป็น "แอปเปิล" ส่วนย่อยที่แท้จริงของสิ่งนั้นก็จะไม่กลายเป็น "แอปเปิล" หากสิ่งใดสิ่งหนึ่งเป็น "น้ำ" ส่วนย่อยหลายส่วนของสิ่งนั้นก็จะเป็น "น้ำ" เช่นกัน ดังนั้น คำกริยา "แอปเปิล" จึงถูกกำหนดปริมาณ ในขณะที่ "น้ำ" ไม่ได้ถูกกำหนดปริมาณ^{[ 1 ] [ 2 ]}

ในทางรูปธรรม สามารถกำหนด ตัวบ่งชี้ การควอน ไทเซชันQUAได้ดังนี้ โดยที่คือเอกภพแห่งการสนทนาคือตัวแปรเหนือเซตและคือโครงสร้างส่วนเมเรโอโลยีบน ที่มีความสัมพันธ์ส่วนเมเรโอ โลยี : ^{[ 1 ] [ 2 ]}${\displaystyle U}$${\displaystyle F}$${\displaystyle p}$${\displaystyle U}$${\displaystyle <_{p}}$

${\displaystyle (\forall F\subseteq U_{p})(QUA(F)\iff (\forall x,y)(F(x)\wedge F(y)\Rightarrow \neg x<_{p}y))}$

แนวคิดเรื่องการหาปริมาณ (Quantization) ถูกเสนอขึ้นครั้งแรกโดยManfred Krifkaในฐานะส่วนหนึ่งของ แนวทางทาง ด้านอรรถศาสตร์เชิง ส่วนประกอบ (mereological approach) ของเขาเกี่ยวกับความหมายของคำนาม ต่อมาแนวคิดนี้ได้ถูกนำไปประยุกต์ใช้กับปรากฏการณ์อื่นๆ เช่น ความสมบูรณ์ของการกระทำ (telicity )

• น้อยกว่า vs. น้อยกว่า
• คำนามมวล
• เมเรโอโลยี
• เทลิซิตี้
• การสะสม (ทางภาษาศาสตร์)