以下、俺のノート。

集合kに二項演算

+: k × k → k
*: k × k → k

が定義されていて、以下の条件を満たすとき、kは体であるという。