Brian Mere's Digital Garden
Q (The Rationals)
Q
also has:
Natural
Order
, only one is true:
r
<
s
,
r
=
s
,
r
>
s
Is
transitive
:
r
<
s
∧
s
<
t
→
r
<
t
.
There's always some rational number
(
r
+
s
)
/
2
between two rationals
r
,
s
∈
Q
References
[[Abbott Real Analysis.pdf#page=17]]