A spanning set for VOA modules

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