Lemma 25.17.4. Let $f : X \to S$ and $g : Y \to S$ be morphisms of schemes with the same target. Let $S = \bigcup U_ i$ be any affine open covering of $S$. For each $i \in I$, let $f^{-1}(U_ i) = \bigcup _{j \in J_ i} V_ j$ be an affine open covering of $f^{-1}(U_ i)$ and let $g^{-1}(U_ i) = \bigcup _{k \in K_ i} W_ k$ be an affine open covering of $g^{-1}(U_ i)$. Then

is an affine open covering of $X \times _ S Y$.

## Comments (1)

Comment #1060 by Charles Rezk on

There are also: