 Represented homology theory

A topological spectrum $E$ represents the reduced generalized homology theory ${\tilde{E}}_k(X)={\pi }_k(E\wedge {\Sigma }^{\infty }X)$ on based spaces, where the smash product of spectra is derived. It is covariant in $X$.