Mi a helyes jelölésmód? (Halmazelmélet, relációk)

Ha megadok egy relációt, például R1 = { (x,y) \in R x R | 1/x = y^2 }

Ez így elfogadható, vagy érzékeltetni kell hogy az x nem vehet fel 0-át:

R2 = { (x,y) \in R\{0} x R | 1/x = y^2 }

Szerintem R2-ben felesleges a módosítás, 2 kérdés merül fel bennem. R2-ben érződik hogy pl (0,0), (0,1) ... típusú párok nincsenek R2-ben, de ugyanakkor olyan párok sincsenek R2-ben ahol az első komponens negatív, most akkor ezt is jelölnöm kellene?

A másik amiért feleslegesnek tartom, hogy az R1 olvasatát a következőképpen értelmezem: (x,y) párok R x R-ből, de csak azok amelyekre igaz az hogy 1/x = y^2. Ez pedig "kivédi" a problémás eseteket, ugyanis ha x helyébe 0-át írunk, nem lesz igaz az egyenlőség.

Melyik értelmezés helyes? Köszönöm