This is an old revision of the document!
Arithmetic structure of real numbers
Definition
| $\langle \mathbb R,+_\mathbb{R},\cdot_\mathbb{R} \rangle$ |
| $ r +_\mathbb{R} s = \{q+_\mathbb{Q}p\ |\ q\in r\land s\in p\} $ |
| $ ... $ |
| $ ... $ |
| $ ... $ |
The operations $+_\mathbb{Q}$ and $\cdot_\mathbb{Q}$ on the right hand sides are these of arithmetic structure of rational numbers.
Discussion
Reference
Wikipedia: Real number, Construction of the real numbers
Parents
Requirements
Element of
