Example exc-147

Prev: exc-146

Next: exc-148

A B

<math>
<apply><prsubset/>
  <ci type="set"> A </ci>
  <ci type="set"> B </ci>
</apply>
</math>