< treffen Sie > zu < < des fn><ci > f/ci></fn > < < Ci > x/Ci > </treffen Sie > zu </treffen Sie > zu </Lambda > Solches Konstruieren wird häufig in Verbindung mit erklärt benutzt neue Funktionen konstruieren. Das domainofapplication Kind schränkt die möglichen Werte der Argumente der konstruierten Funktion ein. Für Fall, das folgende Lambda zwei Konstruieren ist Darstellungen einer Funktion auf den Ganzzahlen. < Lambda > < < des bvar><ci > x/ci></bvar > < domainofapplication><integers/></domainofapplication > < < apply><sin/><ci > x/ci></apply > </Lambda > Wenn ein Lambda Konstruieren enthält nicht verklemmte Variablen, dann ist das arity der konstruierten Funktion unverändert, und das Lambda Konstruieren ist überflüssig, es sei denn es auch ein domainofapplication enthält konstruieren Sie, das einschränkt vorhandene Funktionsargumente, wie in diesem Beispiel, das eine verschiedene Darstellung für die Funktion oben ist. < Lambda > < domainofapplication><integers/></domainofapplication > < Sin/> </Lambda > Insbesondere wenn das letzte Kind eines Lambdas Konstruieren ist nicht eine Funktion, sagt eine Zahl, dann das Lambda Konstruieren wird eine Funktion, aber die gleiche Zahl nicht sein. Selbstverständlich in diesem Fall ein domainofapplication ist nicht sinnvoll RückstellungscÜbertragung ? L ( x , Sin x + 1 ) ? L ( b , R b _a f ( x) d x) ? L ( x : I , Sin x ) ? Sin | _I 4,4,2,10 Funktionsaufbau (bestehen Sie Diskussion Bestehen Element stellt den Funktionsaufbauoperator dar. Merken Sie, daß MathML keine Annahme ungefähr bildet das Gebiet und das codomain des Bestandteils arbeitet in einem Aufbau; das Gebiet des resultierenden Aufbaus kann leer sein. Die Rückstellungssemantik für bestehen überlaufen Element oder mehr Speci c de Nition verbinden für Funktion Aufbau, benutzt das definitionURL und Kodierung Attribute. Bestehen Element ist ein n-ary Operator (sehen Sie Abschnitt 4,2,3 ). Als n-ary Operator können seine Rechengrößen auch sein erzeugt, wie in 4,2,3,2 beschrieben Folglich kann er qualiers nehmen. Beispiele < treffen Sie > zu < bestehen Sie/> 159