ScalingStacks

Definition 7.2.6. A finite relation on $\tilde{Z}$ is an equivalence relation $\sim$ such that the set of points that are not alone in their equivalence class is finite and contained in $\tilde{Z}_{o}$.