$K$を単位元を持つ環とする．$0$以外の全ての元が単元であるとき,$K$を斜体$(skew\ field)$とよぶ．可換な斜体が体$(field)$と呼ばれる．