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