{{indexmenu_n>20190}} ====== rec-prsubset1 ====== A is proper subset of B as <apply> {{mml>}} Author: MathML 2 Recommendation