Un subconjunto de formula_7 que es un V(S) para algún S se llama conjunto algebraico afín.