However, in the case where our space "X" is the prime spectrum "Spec R" of a commutative ring "R" (which is the motivational situation in applications related to algebraic geometry), then under our second definition of the order, we have