Paare in einsetzen von Werten richten aus, falsch. Sinnvoll, das Gebiet und das codomain einer Funktion mathematisch sein genau sein muß speci ED. Praktisch gesehen bedeutet dieses, daß Funktionen nur sinnvoll sind, wenn sie auf sicheres zugetroffen werden Arten von Rechengrößen. Z.B. denkend an den Standardhinzufügungsoperator, ist es kein sinnvoll, ' vom Hinzufügen ' zu sprechen ein Satz zu einer Funktion. Da zufriedener Preisaufschlag MathML sucht, mathematische Ausdrücke in einer Weise zu kodieren, die sein kann eindeutig ausgewertet, ist es keine Überraschung, daß die Arten von Rechengrößen eine Ausgabe ist. Speci es MathML die Arten von Argumenten in zwei Möglichkeiten. Die rstweise ist, indem sie exakte Anweisungen für Pro zur Verfügung stellt cessing Anwendungen über die Arten der Argumente erwartet durch die zufriedenen Elemente MathML, die Funktionen bezeichnen, Operatoren und Relationen. Diese Rechengrößenarten sind De ned in einem Wörterbuch der semantischen Schwergängigkeiten der Rückstellung für Inhalt Elemente, das in Anhang C gegeben wird . Z.B. das zufriedene Wörterbuchspeci es MathML das für realen Scalar Argumente der Plusoperator ist der auswechselbare Hinzufügungsstandardoperator über einem eld. Das Element- cn hat a schreiben Sie Attribut mit einem Default-Wert von "real" . SoSIND einige Prozessoren in der Lage, diese Informationen zu verwenden, um zu überprüfen die Gültigkeit der angezeigten Betriebe. Obgleich liefert speci es MathML die Arten der Argumente für Funktionen, Operatoren und Relationen und ein mecha- nism für Schreibenargumente, ein Prozessor MathML wird angefordert, um keine Artüberprüfung zu tun. Das heißt, ein MathML Prozessor erzeugt nicht Störungen, wenn Argumentarten falsch sind. Wenn der Prozessor ein Computeralgebrasystem ist, es kann nicht imstande sein, einen Ausdruck auszuwerten, aber keine Störung MathML wird erzeugt. 4,3 Zufriedene ElementcAttribute 4,3,1 Zufriedene ElementcAttributcWerte Zufriedene Elementattribute sind die ganze Art CDATA, das heißt, wird jede mögliche Zeichenfolge angenommen, wie gültig. In Hinzufügung, jedes Attribut hat eine Liste von prede ned Werte, die ein zufriedener Prozessor erwartet wird, zu erkennen und Prozeß. Der Grund, daß die Attributwerte nicht formal auf die Liste von prede eingeschränkt werden, ned Werte soll gewähren für Verlängerung. Ein Prozessor, der einen Wert antrifft (nicht im prede ned Liste), das es nicht erkennt, kann gültig verarbeiten Sie ihn als der Default-Wert für dieses Attribut. 4,3,2 Attribute, die Zufriedene PreisaufschlagcSemantik Ändern Jedes Attribut wird von den Elementen gefolgt, an denen es angewendet werden kann. 4,3,2,1 Unterseite cn zeigt numerische Unterseite der Zahl an. Prede ned Werte: irgendeine numerische Zeichenkette. Der Default-Wert ist "10" 4,3,2,2 Schliessen Abstand zeigt Schliessen des Abstands an. Prede ned Werte: "öffnen Sie sich" , "schloß" , "open-closed" , "öffnen Sie sich" . Der Default-Wert ist "schloß" 4,3,2,3 definitionURL csymbol, erklären, Semantik, alle mögliche Operatorelement- Punkte zu externen de Nition der Semantik des sym- bol oder Konstruieren, das erklärt wird. Der Wert ist ein URL oder ein URI, das auf irgendeine Art de Nition zeigen sollte. Dieses de Nition läuft die Rückstellungssemantik MathML über. Zur Zeit spezifiziert MathML nicht für Matte, in der externes semantisches de Nitions gegeben werden sollte. Insbesondere gibt es keine Anforderung, die Ziel des URI ist loadable und parseable. Externes de Nition könnte z.B. de ne das seman- tics in der für den Menschen lesbaren Form. Ideal in den meisten Situationen zeigte de Nition auf durch das definitionURL Attribut würde irgendein Standard-, maschinenlesbares Format sein. Jedoch gibt es Gründe warum MathML erfordert nicht solch ein Format. 139