Example exc-146
Prev:
exc-145
Next:
exc-147
A
B
<math> <apply><subset/> <ci type="set"> A </ci> <ci type="set"> B </ci> </apply> </math>