1: \begin{definition}[{\cite{ElmendorfTheorem}}]

2: Let $\cF$ be family of subgroups of $G$. Let

3: $\cF^{op}\colon(\cOrb^G)^{op}\to \Top$ be the functor defined by 

4: \[

5: \cF^{op}(G/H)=\begin{cases}

6: \ast & H\in\cF \\

7: \emptyset & H\notin\cF.

8: \end{cases}

9: \]

10: Let $J\colon\cOrb^G\to\Top^G$ be the functor which sends an orbit to

11: itself (viewed now as a $G$-space). 

12: \end{definition}

13: