La noción abstracta de magnitud implica la existencia de una función real que asignar a una colección de "objetos medibles" formula_1 un valor numérico real, ya que los números reales son un cuerpo totalmente ordenado con operaciones compatibles con dicha ordenación.