A spanning set for VOA modules

We develop a spanning set for weak modules of C_2 co-finite vertex operator algebras. This spanning set has finiteness properties that we use to show weak modules are C_n co-finite and A_n(M) is finite dimensional.