Real algebraic variety