Definition 83.5.18. Let $B \to S$ as in Section 83.2. Let $j : R \to U \times _ B U$ be a pre-relation. We say $\phi : U \to X$ is an orbit space for $R$ if
$\phi $ is $R$-invariant,
$\phi $ separates $R$-orbits, and
$\phi $ is surjective.
Definition 83.5.18. Let $B \to S$ as in Section 83.2. Let $j : R \to U \times _ B U$ be a pre-relation. We say $\phi : U \to X$ is an orbit space for $R$ if
$\phi $ is $R$-invariant,
$\phi $ separates $R$-orbits, and
$\phi $ is surjective.
Comments (0)