Example ex4-079

Prev: ex4-078

Next: ex4-080

x R

<math>
<merror>
<condition>
  <apply><in/><ci> x </ci><ci type="set"> R </ci></apply>
</condition>
</merror>
</math>