XML Schema "sets.xsd"
Target Namespace:
http://www.w3.org/1998/Math/MathML
Components:
13 global elements, 13 complexTypes, 3 element groups, 13 attribute groups
Schema Location:
http://www.erudit.org/xsd/mathml/2.0/content/sets.xsd, see XML source
Included in Schema:
mathml2.xsd [src]
Annotation
This is an XML Schema module for the part of content MathML dealing with sets and lists. Author: Stéphane Dalmas, INRIA.
Element Summary
card
Type:
card.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
cartesianproduct
Type:
cartesianproduct.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
in
Type:
in.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
intersect
Type:
intersect.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
list
Type:
list.type
Content:
complex, 6+any attributes, 166 elements
Defined:
globally, see XML source
Used:
at 1 location
notin
Type:
notin.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
notprsubset
Type:
notprsubset.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
notsubset
Type:
notsubset.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
prsubset
Type:
prsubset.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
set
Type:
set.type
Content:
complex, 6+any attributes, 166 elements
Defined:
globally, see XML source
Used:
at 1 location
setdiff
Type:
setdiff.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
subset
Type:
subset.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
union
Type:
union.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
Complex Type Summary
card.type
Content:
empty, 7+any attributes
Used:
at 1 location
cartesianproduct.type
Content:
empty, 7+any attributes
Used:
at 1 location
in.type
Content:
empty, 7+any attributes
Used:
at 1 location
intersect.type
Content:
empty, 7+any attributes
Used:
at 1 location
list.type
Content:
complex, 6+any attributes, 166 elements
Used:
at 1 location
notin.type
Content:
empty, 7+any attributes
Used:
at 1 location
notprsubset.type
Content:
empty, 7+any attributes
Used:
at 1 location
notsubset.type
Content:
empty, 7+any attributes
Used:
at 1 location
prsubset.type
Content:
empty, 7+any attributes
Used:
at 1 location
set.type
Content:
complex, 6+any attributes, 166 elements
Used:
at 1 location
setdiff.type
Content:
empty, 7+any attributes
Used:
at 1 location
subset.type
Content:
empty, 7+any attributes
Used:
at 1 location
union.type
Content:
empty, 7+any attributes
Used:
at 1 location
Element Group Summary
Content-sets.class
Content:
13 elements
Includes:
definitions of 13 elements
Used:
at 1 location
list.content
Content:
166 elements
Used:
at 1 location
set.content
Content:
166 elements
Used:
at 1 location
Attribute Group Summary
card.attlist
Content:
7+any attributes
Used:
at 1 location
cartesianproduct.attlist
Content:
7+any attributes
Used:
at 1 location
in.attlist
Content:
7+any attributes
Used:
at 1 location
intersect.attlist
Content:
7+any attributes
Used:
at 1 location
list.attlist
Content:
6+any attributes
Includes:
definition of 1 attribute
Used:
at 1 location
notin.attlist
Content:
7+any attributes
Used:
at 1 location
notprsubset.attlist
Content:
7+any attributes
Used:
at 1 location
notsubset.attlist
Content:
7+any attributes
Used:
at 1 location
prsubset.attlist
Content:
7+any attributes
Used:
at 1 location
set.attlist
Content:
6+any attributes
Includes:
definition of 1 attribute
Used:
at 1 location
setdiff.attlist
Content:
7+any attributes
Used:
at 1 location
subset.attlist
Content:
7+any attributes
Used:
at 1 location
union.attlist
Content:
7+any attributes
Used:
at 1 location
XML Source (w/o annotations (1))
<?xml version="1.0" encoding="UTF-8"?>
<xs:schema elementFormDefault="qualified" targetNamespace="http://www.w3.org/1998/Math/MathML" xmlns="http://www.w3.org/1998/Math/MathML" xmlns:xs="http://www.w3.org/2001/XMLSchema">
<!-- "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 maxOccurs="unbounded" minOccurs="0" ref="set.content"/>
<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 maxOccurs="unbounded" minOccurs="0" ref="list.content"/>
<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/.
-->
XML schema documentation generated with DocFlex/XML 1.7.0 using DocFlex/XML | XSDDoc 2.0.0 template set