Define a polynomial ring in other polynomials

edit

Better give a concrete example : let's say I want to define in Sage the ring $k[XY-Z^2,X+Y] \subset k[X,Y,Z]$ where $k$ is some field. Sounds like a very basic task but after reading the documentation I couldn't find how to do that.

Thanks !