XSL-FO - WordML - XSLT

# Theory of sets

(Excerpt from "The MathML Handbook" by Pavi Sandhu)

We have already seen the use of the constructor elements set and list to represent sets and lists. There are several content elements that represent various operators and functions used in the theory of sets.

The elements union and intersect are used to represent the union and intersection of two sets, as seen in the following example: ``````<apply>
<union/>
<ci type="set">A</ci>
<apply>
<intersect/>
<ci type="set">B</ci>
<ci type="set">C</ci>
</apply>
</apply>
``````

The elements in, notin, subset, prsubset, notsubset, notprsubset, and setdiff are used for representing various types of relationships between sets, as seen in the following examples: ``````<apply>
<in/>
<ci>a</ci>
<ci type="set">A</ci>
</apply>
`````` ``````<apply>
<subset/>
<ci type="set">A</ci>
<ci type="set">B</ci>
</apply>
``````

The card element represents the cardinality of a set; that is, the number of elements it contains. Here is an example that uses this element:

| Z | ``````<apply>
<eq/>
<apply>
<card/>
<integers/>
</apply>
<cn><msub><mn>&aleph;</mn><mn>0</mn></msub></cn>
</apply>
</apply>
``````

The setdiff element represents the difference of two sets. The cartesianproduct element represents the Cartesian product of two sets; that is, the set of all pairs (a, b) with and . Using the elements described in this subsection, you can represent most mathematical statements encountered in the elementary theory of sets.