「概説」の節で述べたアフィン代数多様体の定義を、多項式環のイデアルの観点から整理すると以下のようになる。