My professor defined the restriction of a set:
R is a relation X. and Y is a subset of X.
all ordered pairs (x,x') that are elements of Y X Y such that xRx'.
What would be the restriction to the subset of positive real numbers for the relation xRy if x^2 + y^2 = 1?
I am kind of unsure exactly what this restriction means.

