形式的に実な体
実数体 R や有理数体 Q は形式的に実である。
一方、複素数体 C は形式的に実でない(実際、−1 = i は C の平方元である)。