>>561
＞まず係数体Kがあって、その上でベクトル空間が定義されるからだと思うが

なぜ、「その上」という表現なのですか？