We show that for all $N{\geq}1$, the modular function field $K(X_0^+(N))$ is generated by j(z)j(Nz) and j(z) + j(Nz) over ${\mathbb{C}}$, where j(z) is the modular invariant. Moreover we derive the defining equation of the the modular function field $K(X_0^+(N))$ from the classical modular polynomial ${\Phi}_N(X, Y )$.