Example ex4-028

Prev: ex4-027

Next: ex4-029

x x 1

<math>
<set>
  <bvar><ci> x </ci></bvar>
  <condition>
    <apply>
      <lt/>
      <ci> x </ci>
      <cn> 1 </cn>
    </apply>
  </condition>
</set>
</math>