The assumptions on $X$ and $Y$ mean that $f$ is the base change of $f'$ by $X \to X'$. The properties $\mathcal{P}$ listed in (1) -- (20) above are all stable under base change, hence if $f'$ has property $\mathcal{P}$, then so does $f$. See Schemes, Lemmas \ref{schemes-lemma-base-change-immersion}, \ref{schemes-lemma-quasi-compact-preserved-base-change}, \ref{schemes-lemma-separated-permanence}, and \ref{schemes-lemma-base-change-monomorphism} and Morphisms, Lemmas \ref{morphisms-lemma-base-change-surjective}, \ref{morphisms-lemma-base-change-universally-injective}, \ref{morphisms-lemma-base-change-affine}, \ref{morphisms-lemma-base-change-quasi-finite}, \ref{morphisms-lemma-base-change-relative-dimension-d}, \ref{morphisms-lemma-base-change-syntomic}, \ref{morphisms-lemma-base-change-smooth}, \ref{morphisms-lemma-base-change-unramified}, \ref{morphisms-lemma-base-change-etale}, \ref{morphisms-lemma-base-change-proper}, \ref{morphisms-lemma-base-change-finite}, and \ref{morphisms-lemma-base-change-finite-locally-free}. \medskip\noindent The interesting direction in each case is therefore to assume that $f$ has the property and deduce that $f'$ has it too. We make a couple of general remarks which we will use without further mention in the arguments below. (I) Let $W' \subset S'$ be an affine open and let $U' \subset X'$ and $V' \subset Y'$ be affine opens lying over $W'$ with $f'(U') \subset V'$. Let $W' = \Spec(R')$ and denote $I \subset R'$ be the ideal defining the closed subscheme $W' \cap S$. Say $U' = \Spec(B')$ and $V' = \Spec(A')$. Then we get a commutative diagram $$ \xymatrix{ 0 \ar[r] & IB' \ar[r] & B' \ar[r] & B \ar[r] & 0 \\ 0 \ar[r] & IA' \ar[r] \ar[u] & A' \ar[r] \ar[u] & A \ar[r] \ar[u] & 0 } $$ with exact rows. (II) The morphisms $X \to X'$ and $Y \to Y'$ are universal homeomorphisms. Hence the topology of the maps $f$ and $f'$ (after any base change) is identical. (III) If $f$ is flat, then $f'$ is flat and $Y' \to S'$ is flat at every point in the image of $f'$, see Lemma \ref{lemma-flatness-morphism-thickenings}. \medskip\noindent Ad (\ref{item-flat-fp-over-ft}). This is general remark (III). \medskip\noindent Ad (\ref{item-isomorphism-fp-over-ft}). Assume $f$ is an isomorphism. Choose an affine open $V' \subset Y'$ and set $U' = (f')^{-1}(V')$. Then $V = Y \cap V'$ is affine which implies that $V \cong f^{-1}(V) = U = Y \times_{Y'} U'$ is affine. By Lemma \ref{lemma-thickening-affine-scheme} we see that $U'$ is affine. Thus we have a diagram as in the general remark (I). By Algebra, Lemma \ref{algebra-lemma-isomorphism-modulo-locally-nilpotent} we see that $A' \to B'$ is an isomorphism, i.e., $U' \cong V'$. Thus $f'$ is an isomorphism. \medskip\noindent Ad (\ref{item-open-immersion-fp-over-ft}). Assume $f$ is an open immersion. Then $f$ is an isomorphism of $X$ with an open subscheme $V \subset Y$. Let $V' \subset Y'$ be the open subscheme whose underlying topological space is $V$. Then $f'$ is a map from $X'$ to $V'$ which is an isomorphism by (\ref{item-isomorphism-fp-over-ft}). Hence $f'$ is an open immersion. \medskip\noindent Ad (\ref{item-quasi-compact-fp-over-ft}). Immediate from remark (II). See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-universally-closed-fp-over-ft}). Immediate from remark (II). See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-separated-fp-over-ft}). Note that $X \times_Y X = Y \times_{Y'} (X' \times_{Y'} X')$ so that $X' \times_{Y'} X'$ is a thickening of $X \times_Y X$. Hence the topology of the maps $\Delta_{X/Y}$ and $\Delta_{X'/Y'}$ matches and we win. See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-monomorphism-fp-over-ft}). Assume $f$ is a monomorphism. Consider the diagonal morphism $\Delta_{X'/Y'} : X' \to X' \times_{Y'} X'$. Observe that $X' \times_{Y'} X' \to S'$ is locally of finite type. The base change of $\Delta_{X'/Y'}$ by $S \to S'$ is $\Delta_{X/Y}$ which is an isomorphism by assumption. By (\ref{item-isomorphism-fp-over-ft}) we conclude that $\Delta_{X'/Y'}$ is an isomorphism. \medskip\noindent Ad (\ref{item-surjective-fp-over-ft}). This is clear. See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-universally-injective-fp-over-ft}). Immediate from remark (II). See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-affine-fp-over-ft}). Assume $f$ is affine.  Choose an affine open $V' \subset Y'$ and set $U' = (f')^{-1}(V')$. Then $V = Y \cap V'$ is affine which implies that $U = Y \times_{Y'} U'$ is affine. By Lemma \ref{lemma-thickening-affine-scheme} we see that $U'$ is affine. Hence $f'$ is affine. See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-quasi-finite-fp-over-ft}). Follows from the fact that $f'$ is locally of finite type (by Morphisms, Lemma \ref{morphisms-lemma-permanence-finite-type}) and that quasi-finiteness of a morphism of finite type can be checked on fibres, see Morphisms, Lemma \ref{morphisms-lemma-quasi-finite-at-point-characterize}. \medskip\noindent Ad (\ref{item-relative-dimension-d-fp-over-ft}). Follows from general remark (II) and the fact that $f'$ is locally of finite type (Morphisms, Lemma \ref{morphisms-lemma-permanence-finite-type}). \medskip\noindent Ad (\ref{item-universally-open-fp-over-ft}). Immediate from general remark (II). See also Lemma \ref{lemma-thicken-property-morphisms} for a more general statement. \medskip\noindent Ad (\ref{item-syntomic-fp-over-ft}). Assume $f$ is syntomic. By Morphisms, Lemma \ref{morphisms-lemma-finite-presentation-permanence} $f'$ is locally of finite presentation. By general remark (III) $f'$ is flat. The fibres of $f'$ are the fibres of $f$. Hence $f'$ is syntomic by Morphisms, Lemma \ref{morphisms-lemma-syntomic-flat-fibres}. \medskip\noindent Ad (\ref{item-smooth-fp-over-ft}). Assume $f$ is smooth. By Morphisms, Lemma \ref{morphisms-lemma-finite-presentation-permanence} $f'$ is locally of finite presentation. By general remark (III) $f'$ is flat. The fibres of $f'$ are the fibres of $f$. Hence $f'$ is smooth by Morphisms, Lemma \ref{morphisms-lemma-smooth-flat-smooth-fibres}. \medskip\noindent Ad (\ref{item-unramified-fp-over-ft}). Assume $f$ unramified. By Morphisms, Lemma \ref{morphisms-lemma-permanence-finite-type} $f'$ is locally of finite type. The fibres of $f'$ are the fibres of $f$. Hence $f'$ is unramified by Morphisms, Lemma \ref{morphisms-lemma-unramified-etale-fibres}. \medskip\noindent Ad (\ref{item-etale-fp-over-ft}). Assume $f$ \'etale. By Morphisms, Lemma \ref{morphisms-lemma-finite-presentation-permanence} $f'$ is locally of finite presentation. By general remark (III) $f'$ is flat. The fibres of $f'$ are the fibres of $f$. Hence $f'$ is \'etale by Morphisms, Lemma \ref{morphisms-lemma-etale-flat-etale-fibres}. \medskip\noindent Ad (\ref{item-proper-fp-over-ft}). This follows from a combination of (\ref{item-separated-fp-over-ft}), the fact that $f$ is locally of finite type (Morphisms, Lemma \ref{morphisms-lemma-permanence-finite-type}), (\ref{item-quasi-compact-fp-over-ft}), and (\ref{item-universally-closed-fp-over-ft}). \medskip\noindent Ad (\ref{item-finite-fp-over-ft}). Combine (\ref{item-universally-closed-fp-over-ft}), (\ref{item-affine-fp-over-ft}), Morphisms, Lemma \ref{morphisms-lemma-integral-universally-closed}, the fact that $f$ is locally of finite type (Morphisms, Lemma \ref{morphisms-lemma-permanence-finite-type}), and Morphisms, Lemma \ref{morphisms-lemma-finite-integral}. \medskip\noindent Ad (\ref{item-finite-locally-free-fp-over-ft}). Assume $f$ finite locally free. By (\ref{item-finite-fp-over-ft}) we see that $f'$ is finite. By general remark (III) $f'$ is flat. By Morphisms, Lemma \ref{morphisms-lemma-finite-presentation-permanence} $f'$ is locally of finite presentation. Hence $f'$ is finite locally free by Morphisms, Lemma \ref{morphisms-lemma-finite-flat}.