User talk:73.238.169.75

In $$\forall x \Big( R(g(x)) \vee \exists y R(x,y) \Big) \iff \exists f \forall x \Big( R(g(x)) \vee R(x,f(x)) \Big)$$ it is not clear what the $$ R(g(x)) $$ disjunct is.

It implies that R has both a unary and binary syntax, which is confusing, and the meaning of g is never explained. It seems to me that the formula would be simpler and still correct if it were written as $$\forall x \exists y R(x,y) \iff \exists f \forall x R(x,f(x))$$ If this is not correct, could you clarify the page? Thanks.