ベクトル空間の公理 , もしくは定義を見ると体(field)が使われています。体(field)は、大学数学で線形代数学を学習するときに、集合とともに基本となります。公理は定義と思っておくと気分が楽かと思います。