There is no rational number between any two irrationals

Between any two distinct reals there exists a rational number

The rationals form a dense open set

There are more rationals than irrationals in any interval