Entre dois números racionais quaisquer e diferentes sempre é possível determinar um terceiro número racional, diferente dos outros dois, que seja menor que o maior deles e maior que o menor deles. São dados dois números racionais diferentes: 
Um terceiro número racional, diferente desses dois, que se encaixa na condição expressa anteriormente, é