{{indexmenu_n>15000}}
====== rec-prsubset1 ======

<wrap mml-desc>A is proper subset of B as &#60;apply&#62;</wrap>

<wrap mml-tag>{{mml>}}</wrap>

<wrap mml-author>Author: MathML 2 Recommendation</wrap>