Quantitative Discrete Definition