# Term for: There Exists a Rational between every two Rationals?

The integers and the rationals have the same cardinality, but the rationals satisfy the property that:

$$\forall p,q\in\mathbb{Q},\quad \exists r\in\mathbb{Q}\quad \textrm{s.t.}\quad p<r<q,$$

while the integers don't.

Is there a term for this property?

-
Since you tagged the question as foundations, you might want to google the terms dense linear order and dense linear order without endpoins. –  Git Gud Jun 9 at 19:13