We want to represent $\R $ with finitely many elements. For example, on a computer...
Let $A$ be a finite set. A quantiziation is a function $q: \R \to A$.