rectification; Abhyankar-Sathaye embedding problem; variable irreducible semialgebraic set; irreducible components of a semialgebraic set; Nash function; Nash set; w-Nash set; q-Nash set; substitution theorem; positivstellensätze; 17th Hilbert problem and real nullstellensatz 