(x^2+y^2=1)&(-1<=x<=1)&(0<=y<=1)