Cartesian product
直積集合、剰余環などの概念により、負の数の平方根を用いない複素数の構成ができる。