Definition:Real Algebraic Function