{0<=x<=1,y^2<=x}