Binomiale Gleichungen/Nullstellengebilde/Monoidstruktur/Fakt
Es sei eine affin-algebraische Menge, die durch binomiale Gleichungen gegeben sei.
Dann ist ein Untermonoid des affinen Raumes, versehen mit der komponentenweisen multiplikativen Verknüpfung.