で定義されるベクトル空間の系列のことである。