prev  ( testsuite > StrictContent > TheoryOfSets > prsubset > rec-prsubset1  )  next

Alternatives: (mml file)  (full) (simple) (plain) (form) (slideshow)
File:StrictContent/TheoryOfSets/prsubset/rec-prsubset1
CVS-ID:
Author:MathML 2 Recommendation
Description:A is proper subset of B as <apply>

Sample Rendering:

Created by: webeq

Your browser's rendering:

prsubset A B