Universally closed morphism (source code)

= Universally closed morphism
{wiki}

= Universal closedness
{synonym}

= Universally closed
{synonym}

A morphism is universally closed when every base change is a closed map on underlying topological spaces.