R[x,y] def