Discrete Quantitative Definition