代数多様体の定義と座標環との関係