f
<apply> Â Â Â Â Â <eq/> Â Â Â Â Â <apply>Â Â Â Â Â Â Â Â Â Â <codomain/> Â Â Â Â Â Â Â Â Â Â <fn>Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â <ci> f </ci>Â Â Â Â Â Â Â Â Â Â </fn> Â Â Â Â Â </apply> Â Â Â Â Â <rationals/> </apply>