Given a notion of étaleness (in terms of suitable [[idempotent monad]]s) on a cohesive higher topos $E$, we have for every object $X\in E$ a wide reflective- and coreflective sub-higher topos $$Et/X\hookrightarrow E/X$$ on the étale morphisms.