A topological spectrum represents the reduced generalized homology theory on based spaces, where the smash product of spectra is derived. It is covariant in .