proper morphism adjective

References

• https://stacks.math.columbia.edu/tag/01W1