A relation ϕ from C to R is defined by x ϕ y ⇔ | x | = y. Which one is correct?