The Stacks project

Definition 61.27.1. Let $X$ be a scheme. Let $\Lambda$ be a Noetherian ring. A sheaf of $\Lambda$-modules on $X_{pro\text{-}\acute{e}tale}$ is constructible if for every affine open $U \subset X$ there exists a finite decomposition of $U$ into constructible locally closed subschemes $U = \coprod _ i U_ i$ such that $\mathcal{F}|_{U_ i}$ is of finite type and locally constant for all $i$.