Definition 67.14.4. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $Z, Y \subset X$ be closed subspaces corresponding to quasi-coherent ideal sheaves $\mathcal{I}, \mathcal{J} \subset \mathcal{O}_ X$. The scheme theoretic intersection of $Z$ and $Y$ is the closed subspace of $X$ cut out by $\mathcal{I} + \mathcal{J}$. Then scheme theoretic union of $Z$ and $Y$ is the closed subspace of $X$ cut out by $\mathcal{I} \cap \mathcal{J}$.
Comments (0)