Між будь-якими двома різними дійсними числами міститься раціональне число. Як наслідок отримуємо, що між будь-якими двома різними дійсними числами міститься нескінченно багато раціональних. Крім того, очевидно, що між будь-якими двома різними раціональними числами міститься дійсне. Будь-який відрізок числової прямої містить як раціональні, так і ірраціональні точки.