This defines a functor $ F{\colon}\linebreak[0] \mathbf{CRing} \to \mathbf{Set} $ . In algebraic geometry, a scheme is a functor $ \mathbf{CRing} \to \mathbf{Set} $ with certain properties. (This is not the most common way of phrasing the definition, but it is equivalent.)