rectification; Abhyankar-Sathaye embedding problem; variable 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 