Block subspace (source code)

= Block subspace

A block subspace is the closed linear span of an infinite <block sequence>. Passing to a block subspace preserves the order of supports and permits successive-vector constructions.