La propiedad del conjunto de los números racionales que establece que entre dos números racionales cualesquiera existen infinitos números racionales se expresa dedicado que "Q" es un conjunto:.