algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety universal algebraic geometry; algebraic structure; universal class; quasivariety; joint embedding property; irreducible coordinate algebra; discriminability; Dis-limit; equational Noetherian property; equational codomain; universal geometric equivalence 