RückstellungscÜbertragung A B 4,4,6,8 Korrekte Teilmenge (prsubset Diskussion Das prsubset Element ist das Vergleichsoperatorelement für einstellen-theoretische korrekte Eindämmung (' ist eine korrekte Teilmenge von '). Das prsubset Element nimmt das definitionURL und Kodierung Attribute, die verwendet werden können, um überzulaufen Rückstellungssemantik. Das prsubset Element ist eine n-ary Satzrelation (sehen Sie Abschnitt 4,2,4 ). Als n-ary Operator können seine Rechengrößen auch sein erzeugt, wie in 4,2,3,2 beschrieben Folglich kann er qualiers nehmen. Beispiel < treffen Sie > zu < prsubset/> < < Ci > A/Ci > < < Ci > B/Ci > </treffen Sie > zu < treffen Sie > zu < prsubset/> < bvar><ci type="integer">i</ci></bvar > < lowlimit><cn>0</cn></lowlimit > < uplimit><cn>10</cn></uplimit > < apply><selector/> < Ci type="vector_of_sets">S</ci > < ci>i</ci > </treffen Sie > zu </treffen Sie > zu Fallen Sie Die Übertragung Zurück A B 4,4,6,9 Nicht Teilmenge (notsubset Diskussion Das notsubset Element ist der Vergleichsoperator, den Element für die einstellen-theoretische Relation ' nicht eine Teilmenge von ist '. Das notsubset Element nimmt das definitionURL und Kodierung Attribute, die verwendet werden können, um überzulaufen Rückstellungssemantik. Das notsubset Element ist eine binäre Satzrelation (sehen Sie Abschnitt 4,2,4 ). 199