Tallinjen är ett sätt att visualisera de reella talen.
Särskilt tre egenskaper blir tydligjorda med denna bild:
- Ordningsrelationen: om a<b och b<c så är a<c
- Kontinuiteten: om a<c går det att finna ett b så att a<b och b<c
- Oändligheten: det går alltid att hitta ett större tal eller mindre tal
eller uttryckt i matematiska symboler:
![{\displaystyle (a<b)\wedge (b<c)\Rightarrow a<c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeea1cb9fae7e91b82e96ff8b4c4da44b606123d)
![{\displaystyle (a<c)\Rightarrow \exists b:(a<b)\wedge (b<c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/681dc2696440de660d36ac7cc4ca62966aedf0da)
![{\displaystyle b\in \mathbb {R} \Rightarrow (\exists a\in \mathbb {R} :a<b)\wedge (\exists c\in \mathbb {R} :b<c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dadd5bebcaf49845a02010fc280c97308764f242)