Definition:Affine Commutative Scheme