The Stacks project

Definition 87.20.7. Let $S$ be a scheme. Let $X$ be a formal algebraic space over $S$. We say $X$ is locally countably indexed, locally countably indexed and classical, locally weakly adic, locally adic*, or locally Noetherian if the equivalent conditions of Lemma 87.20.6 hold for the corresponding property.