OpenMath Signatures


Type System: sts
Content Dictionary: fns1
CD Signature File: fns1.sts
CD Signature as XML Encoded OpenMath: fns1.omsts



Date:  1999-04-13
Author: David Carlisle


identity

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMS name="Object" cd="sts"/>
    <OMS name="Object" cd="sts"/>
 </OMA>
</OMOBJ>
( Object >> Object )

Content Dictionary Entry.


[Next: left_inverse] [Last: lambda] [Top]


left_inverse

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> ( Set >> Set ) )

Content Dictionary Entry.


[Next: right_inverse] [Previous: identity] [Top]


right_inverse

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> ( Set >> Set ) )

Content Dictionary Entry.


[Next: inverse] [Previous: left_inverse] [Top]


inverse

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> ( Set >> Set ) )

Content Dictionary Entry.


[Next: domain] [Previous: right_inverse] [Top]


domain

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMV name="Set"/>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> Set )

Content Dictionary Entry.


[Next: domain] [Previous: inverse] [Top]


domain

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMV name="Set"/>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> Set )

Content Dictionary Entry.


[Next: domainofapplication] [Previous: domain] [Top]


domainofapplication

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMV name="Set"/>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> Set )

Content Dictionary Entry.


[Next: range] [Previous: domain] [Top]


range

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMV name="Set"/>
 </OMA>
</OMOBJ>
( ( Set >> Set ) >> Set )

Content Dictionary Entry.


[Next: left_compose] [Previous: domainofapplication] [Top]


left_compose

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
    <OMA>
     <OMS name="mapsto" cd="sts"/>
     <OMV name="Set"/>
     <OMV name="Set"/>
    </OMA>
 </OMA>
</OMOBJ>
( ( Set >> Set ) ( Set >> Set ) >> ( Set >> Set ) )

Content Dictionary Entry.


[Next: lambda] [Previous: range] [Top]


lambda

<OMOBJ>
 <OMS name="binder" cd="sts"/>
</OMOBJ>
binder

Content Dictionary Entry.


[First: identity] [Previous: left_compose] [Top]