Estas son propiedades demostrables de los números racionales y los sistemas numéricos posicionales, y no se utilizan como definiciones en matemáticas.