Smooth, unramified, and etale morphisms are stable under base change, so $Y\times_X Z \to Z$ is {smooth, unramified, etale} if $Y\to X$ is {smooth, unramified, etale}.