fof(mathrel_notation_test,conjecture,elem(pair(fx,fy),fR)=>elem(pair(fx,fy),fR)).