集合∨と体Ｋがあるとする。∨には演算「加法」が定められており、また∨の元とＫの元の「積」（スカラー倍。これは∨の元になる）もまた定められているとき、下の性質が満たされれば、∨はＫ上のベクトル空間と呼ばれる。

集合Ｋ（すべての複素数の集合の部分集合と考えてよい）について次が成り立つとき、Ｋは体であるという。ただし、Ｋには「加法」と「乗法」の二つの演算が定義されているとする。

雨。のち曇。 音楽を聴く。■オネゲル：弦楽四重奏曲第一番H.15。どうしてオネゲルは、こう自分に合うのか。じつに面白く聴ける。 アルベルト・ポサダス（Alberto Posadas）を聴く。収録曲は、１．『涙と優しさの暗い深淵』〜アンサンブルのための (2005)、２…