 Universally closed morphism

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