Ciertos conjuntos tienen un "tamaño" definido; por ejemplo, el intervalo [0, 1] tiene longitud 1, y en general, un intervalo ["a", "b"], con "a" ≤ "b", tiene longitud "b" − "a".