Lemma 83.5.2. Let B \to S as in Section 83.2. Let j : R \to U \times _ B U be a pre-equivalence relation of algebraic spaces over B. Then
O_ u = \{ u' \in |U| \text{ such that } \exists r \in |R|, \ s(r) = u, \ t(r) = u'\} .
Proof. By the aforementioned Groupoids in Spaces, Lemma 78.4.4 we see that the orbits O_ u as defined in the lemma give a disjoint union decomposition of |U|. Thus we see they are equal to the orbits as defined in Definition 83.5.1. \square
Comments (0)