2 有理数

2.1 順序対・写像

word(ss,s)F … \(\mathsf{pr}\)
abbr … \(\langle X , Y \rangle\) ≈ \(\mathsf{pr} ( X , Y )\)
word(s,s) … \(\triangleleft\)  \(\triangleright\)
◁. … \(\triangleleft \langle x , y \rangle = x\)
▷. … \(\triangleright \langle x , y \rangle = y\)
pr:0 … \(\langle x_{0} , y_{0} \rangle = \langle x_{1} , y_{1} \rangle \Longleftrightarrow x_{0} = x_{1} , y_{0} = y_{1}\) \(\blacktriangleleft\) \(\mathbb{W}.\)
word(ss,s) … \(\times\)
^^pr. … \(X \times Y = \{ \langle x , y \rangle \mid x \in X , y \in Y \}\)
\(X \to Y\) は \(X\) から \(Y\) への写像全体の集合、\(X \overset{S}{\to} Y\) は全射全体の集合。
word(ss,s) … \(\to\)  \(\stackrel{\rm S}\to\)
→. … \(X \to Y = \{ f \subset X \times Y \mid \forall x \in X . \exists! y \, \langle x , y \rangle \in f \}\)
→S. … \(X \stackrel{\rm S}\to Y = \{ f \in X \to Y \mid \forall y \in Y . \exists x \, \langle x , y \rangle \in f \}\)

2.2 整数と有理数

整数は自然数 \(n\) と \(-n\)、有理数は分数 \(a \div b\)（\(a\) は整数、\(b\) は 0 でない自然数）。
\(-\) と \(\div\) については約分（÷K）だけを仮定します。
word(s,s) … \(-\)
word(ss,s) … \(/\)
word(,s) … \(\mathbb{Z}\)  \(\mathbb{Q}\)
ℤ. … \(\mathbb{Z} = \{ a \mid a \in \mathbb{M} \mathbin{\rm o\!r} \exists n \in \mathbb{M} . a = - n \}\)
ℚ. … \(\mathbb{Q} = \{ a / b \mid a \in \mathbb{Z} , b \in \mathbb{M} , b \neq 0 \}\)
÷K … \(\begin{cases} c , a , b \in \mathbb{M} , c \neq 0 \Longrightarrow ( c \cdot a ) / ( c \cdot b ) = a / b \\ c , a , b \in \mathbb{M} , c \neq 0 \Longrightarrow ( - ( c \cdot a ) ) / ( c \cdot b ) = ( - a ) / b \end{cases}\)