real algebraic set