ident1

composition of f and inverse of f eq identity using <reln>

W3C sample	WIRIS
	$f\circ f^{(-1)}=\mathrm{id}$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <reln>
    <eq/>
    <apply>
      <compose/>
      <fn>
        <ci>f</ci>
      </fn>
      <apply>
        <inverse/>
        <fn>
          <ci>f</ci>
        </fn>
      </apply>
    </apply>
    <ident/>
  </reln>
</math>

Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)