Definition 7.1.7. A morphism \(l\colon X \to X'\) of spectra is called an \(E\)-localization if \(X'\) is \(E\)-local and the morphism \(l\) is an \(E\)-equivalence.

Generated from the authoritative LaTeX source.