R := \{(x,y): x \not= y\} \\
R^2 = \{(x,z): (x,y) \in R, (y,z) \in R\}