Prove: $\lbrace A_r : r \in \mathbb{R}\rbrace$ is a partition of $\mathbb{R} \times \mathbb{R}$ Given the following:

For each $r \in \mathbb{R}$, let $A_r = \lbrace(x,y) \in \mathbb{R} \times\mathbb{R} : x - y = r\rbrace$
Prove: $\lbrace A_r : r \in \mathbb{R}\rbrace$ is a partition of $\mathbb{R} \times \mathbb{R}$.

Here's my attempted proof:
Let $(x,y) = (1,0), (2,1), ... \in A_1$
Let $(x,y) = (2,0), (3,1), ... \in A_2$
$A_1 \cup A_2 \cup\text{ ... } A_n = A$ where $n = \infty$ (guess).
Note that $A_1 \cap A_2 = \emptyset$
Is this proof complete?
 A: You need to show that $\mathbb{R} \times \mathbb{R} = \cup_{r \in \mathbb{R}} A_r$ and that $A_r \cap A_s = \varnothing$ whenever $r \neq s$. For the first of these, it should be fairly clear that given a pair $(x,y)$, it belongs in some $A_r$ (which one?). For the second part, show that if we assume that $(x,y) \in A_r \cap A_s$ when $r \neq s$ then we arrive at a contradiction.
A: Let $(x,y)\in\mathbb{R}^2$, then $(x,y)\in A_{x-y}$. So $\mathbb{R}^2\subset\bigcup_{r\in\mathbb{R}} A_r$. Also any two $A_s, A_r$ for $s\neq r$ are disjunct (let $(x,y)\in A_s$, then $x-y=s$, so $(x,y)\notin A_r$, and vice versa. So $A_r\cap A_s=\emptyset$ for $r\neq s$). So the set of all $A_r$ is a partition of $\mathbb{R}^2$.
A: From wikipedia definition of the partition:

A partition of a set X is a set of nonempty subsets of X such that every element x in X is in exactly one of these subsets

Trivially, none of the sets are empty. That means, for partition $P = \{A_r:r\in \mathbb{R} \}$ you'll need to verify these two conditions are met: 


*

*The joint set of all the $A_r$ is $\mathbb{R}\times \mathbb{R}$

*For any $r,s$ such that $r \neq s$, $A_r \cap A_s = \emptyset$


For a given $(x,y)$ from $\mathbb{R}\times \mathbb{R}$, select $r = x - y$. Now, $r$ is of course real and therefore $A_r$ is a set from the partition $P$. That verifies condition 1.
Now, given $r,s$ such that $r \neq s$, we assume (for contradiction) that there is a tuple $(x,y)$, that is present both in $A_r$ and $A_s$. That would mean, that $x - y = r$ and $x - y = s$. Hence, $r$ must be equal to $s$, which is in contradiction with the assumption. Therefore, the sets $A_r$ and $A_s$ are disjoint. That verifies condition 2 and concludes the proof.
