Definition:Identity Morphism of Ringed Spaces

Definition
Let $\struct {X, \OO_X}$ be a ringed space.

The identity morphism (of ringed spaces) of $\struct {X, \OO_X}$ is the pair $\struct {\operatorname{id}_X, \operatorname{id}_{\OO_X}}$.