1
The integers
▶
1.1
The
preintegers
1.2
The integers
▶
1.2.1
Definitions
1.2.2
Commutative ring structure
1.2.3
The inclusion \(i \colon \mathbb {N}\to \mathrm{MyInt}\)
1.2.4
The order
1.2.5
Interaction between the order and the ring structure
2
The rationals
▶
2.1
The
prerationals
2.2
The rationals
▶
2.2.1
Definitions
2.2.2
Commutative ring structure
2.2.3
The inclusion \(i \colon \mathbb {N}\to \mathrm{MyRat}\)
2.2.4
The inclusion \(j \colon \mathrm{MyInt}\to \mathrm{MyRat}\)
2.2.5
Nonegativity
2.2.6
The order
2.2.7
Interaction between the order and the ring structure
2.2.8
Interaction between the order and the inclusions
2.2.9
The linear order structure
Dependency graph
A journey to the world of Numbers
Riccardo Brasca and Shanwen Wang
1
The integers
1.1
The
preintegers
1.2
The integers
1.2.1
Definitions
1.2.2
Commutative ring structure
1.2.3
The inclusion \(i \colon \mathbb {N}\to \mathrm{MyInt}\)
1.2.4
The order
1.2.5
Interaction between the order and the ring structure
2
The rationals
2.1
The
prerationals
2.2
The rationals
2.2.1
Definitions
2.2.2
Commutative ring structure
2.2.3
The inclusion \(i \colon \mathbb {N}\to \mathrm{MyRat}\)
2.2.4
The inclusion \(j \colon \mathrm{MyInt}\to \mathrm{MyRat}\)
2.2.5
Nonegativity
2.2.6
The order
2.2.7
Interaction between the order and the ring structure
2.2.8
Interaction between the order and the inclusions
2.2.9
The linear order structure