The Stacks project

Exercise 111.54.1 (Definitions). Provide definitions of the italicized concepts.

1. a separated scheme,

2. a universally closed morphism of schemes,

3. $A$ dominates $B$ for local rings $A, B$ contained in a common field,

4. the dimension of a scheme $X$,

5. the codimension of an irreducible closed subscheme $Y$ of a scheme $X$,