É um conjunto equipado com uma coleção de conjuntos abertos satisfazendo certos axiomas.

É um conjunto de soluções de um sistema de equações polinomiais.

É uma forma bilinear skew-simétrica não degenerada em um espaço vetorial.