<?xml version="1.0" encoding="UTF-8"?>

<xs:schema 
  xmlns:xs="http://www.w3.org/2001/XMLSchema"
  xmlns="http://www.w3.org/1998/Math/MathML"
  targetNamespace="http://www.w3.org/1998/Math/MathML"
  elementFormDefault="qualified">

<xs:annotation>
  <xs:documentation>
  This is an XML Schema module for the part of content MathML dealing with
  sets and lists.
  Author: St&#233;phane Dalmas, INRIA.
  </xs:documentation>
</xs:annotation>

<!-- "set" -->

<!-- "type" could be "multiset" or "normal" or anything else -->
<xs:attributeGroup name="set.attlist">
  <xs:attribute name="type" type="xs:string"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:group name="set.content">
  <xs:sequence>
     <xs:group ref="Content-expr.class"/>
  </xs:sequence>
</xs:group>

<xs:complexType name="set.type">
  <xs:group ref="set.content"  minOccurs="0" maxOccurs="unbounded"/>
  <xs:attributeGroup ref="set.attlist"/>
</xs:complexType>

<xs:element name="set" type="set.type"/>

<!-- "list" -->

<xs:attributeGroup name="list.attlist">
  <xs:attribute name="order">
    <xs:simpleType>
       <xs:restriction base="xs:string">
          <xs:enumeration value="lexicographic"/>
          <xs:enumeration value="numeric"/>
       </xs:restriction>
    </xs:simpleType>
  </xs:attribute>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:group name="list.content">
  <xs:sequence>
     <xs:group ref="Content-expr.class"/>
  </xs:sequence>
</xs:group>

<xs:complexType name="list.type">
  <xs:group ref="list.content"  minOccurs="0" maxOccurs="unbounded"/>
  <xs:attributeGroup ref="list.attlist"/>
</xs:complexType>

<xs:element name="list" type="list.type"/>

<!-- "union" -->

<xs:attributeGroup name="union.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="union.type">
  <xs:attributeGroup ref="union.attlist"/>
</xs:complexType>

<xs:element name="union" type="union.type"/>

<!-- "intersect" -->

<xs:attributeGroup name="intersect.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="intersect.type">
  <xs:attributeGroup ref="intersect.attlist"/>
</xs:complexType>

<xs:element name="intersect" type="intersect.type"/>

<!-- "in" -->

<xs:attributeGroup name="in.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="in.type">
  <xs:attributeGroup ref="in.attlist"/>
</xs:complexType>

<xs:element name="in" type="in.type"/>

<!-- "notin" -->

<xs:attributeGroup name="notin.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="notin.type">
  <xs:attributeGroup ref="notin.attlist"/>
</xs:complexType>

<xs:element name="notin" type="notin.type"/>

<!-- "subset" -->

<xs:attributeGroup name="subset.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="subset.type">
  <xs:attributeGroup ref="subset.attlist"/>
</xs:complexType>

<xs:element name="subset" type="subset.type"/>

<!-- "prsubset" -->

<xs:attributeGroup name="prsubset.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="prsubset.type">
  <xs:attributeGroup ref="prsubset.attlist"/>
</xs:complexType>

<xs:element name="prsubset" type="prsubset.type"/>

<!-- "notsubset" -->

<xs:attributeGroup name="notsubset.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="notsubset.type">
  <xs:attributeGroup ref="notsubset.attlist"/>
</xs:complexType>

<xs:element name="notsubset" type="notsubset.type"/>

<!-- "notprsubset" -->

<xs:attributeGroup name="notprsubset.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="notprsubset.type">
  <xs:attributeGroup ref="notprsubset.attlist"/>
</xs:complexType>

<xs:element name="notprsubset" type="notprsubset.type"/>

<!-- "setdiff" -->

<xs:attributeGroup name="setdiff.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="setdiff.type">
  <xs:attributeGroup ref="setdiff.attlist"/>
</xs:complexType>

<xs:element name="setdiff" type="setdiff.type"/>

<!-- "card" -->

<xs:attributeGroup name="card.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="card.type">
  <xs:attributeGroup ref="card.attlist"/>
</xs:complexType>

<xs:element name="card" type="card.type"/>

<!-- "cartesianproduct" -->

<xs:attributeGroup name="cartesianproduct.attlist">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>

<xs:complexType name="cartesianproduct.type">
  <xs:attributeGroup ref="cartesianproduct.attlist"/>
</xs:complexType>

<xs:element name="cartesianproduct" type="cartesianproduct.type"/>

<!-- And the group of everything -->

<xs:group name="Content-sets.class">
  <xs:choice>
    <xs:element ref="set"/>
    <xs:element ref="list"/>
    <xs:element ref="union"/>
    <xs:element ref="intersect"/>
    <xs:element ref="in"/>
    <xs:element ref="notin"/>
    <xs:element ref="subset"/>
    <xs:element ref="prsubset"/>
    <xs:element ref="notsubset"/>
    <xs:element ref="notprsubset"/>
    <xs:element ref="setdiff"/>
    <xs:element ref="card"/>
    <xs:element ref="cartesianproduct"/>
  </xs:choice>
</xs:group>

</xs:schema>

<!--
  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
  of Technology, Institut National de Recherche en Informatique et en
  Automatique, Keio University). All Rights Reserved. See
  http://www.w3.org/Consortium/Legal/.
  -->
