Stacks 09MQ (1) theorem

Let $X$, $Y$ be schemes, and possibly some arrows, satisfying the following conditions:

• $X$ separated
• $f$ surjective, universally closed

Then

• $Y$ separated

References

• Stacks Project, https://stacks.math.columbia.edu/tag/09MQ (Fabio)