Kを体。
p: LはKの拡大体
q: LはK上のベクトル空間

のとき、「pをみたすものの集合」とは何だろう？

集合Lを固定して、その上の演算の入れ方のうちKの拡大体になるものを考えているのか？
任意の体の中から、Kの拡大体になっているもの全体を考えているのか？（もちろん、それは集合ではない）