# Quantization (linguistics)

Formally, a quantization predicate QUA can be defined as follows, where $U$ is the universe of discourse, and $F$ is a variable over sets, and $p$ is a mereological part structure on $U$ with $<_p$ the mereological part-of relation.
$(\forall F\subseteq U_p)(QUA(F) \iff (\forall x,y)(F(x)\wedge F(y) \Rightarrow \neg x<_p y))$