5.6.3 複素数の系の中への実数の系の埋め込み


　実数ξを複素数 (ξ,０)＝１×ξに写す写像：─→は，複素数の系の中への実数の系の埋め込みになる。