OpenMath Signatures


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



Date:  1999-04-13
Author: David Carlisle


cartesian_product

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

Content Dictionary Entry.


[Next: map] [Last: notprsubset] [Top]


map

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

Content Dictionary Entry.


[Next: suchthat] [Previous: cartesian_product] [Top]


suchthat

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

Content Dictionary Entry.


[Next: emptyset] [Previous: map] [Top]


emptyset

 <OMOBJ>
   <OMV name="Set"/>
 </OMOBJ>
Set

Content Dictionary Entry.


[Next: size] [Previous: suchthat] [Top]


size

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

Content Dictionary Entry.


[Next: set] [Previous: emptyset] [Top]


set

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

Content Dictionary Entry.


[Next: intersect] [Previous: size] [Top]


intersect

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

Content Dictionary Entry.


[Next: union] [Previous: set] [Top]


union

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

Content Dictionary Entry.


[Next: setdiff] [Previous: intersect] [Top]


setdiff

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

Content Dictionary Entry.


[Next: subset] [Previous: union] [Top]


subset

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

Content Dictionary Entry.


[Next: in] [Previous: setdiff] [Top]


in

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

Content Dictionary Entry.


[Next: notin] [Previous: subset] [Top]


notin

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

Content Dictionary Entry.


[Next: prsubset] [Previous: in] [Top]


prsubset

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

Content Dictionary Entry.


[Next: notsubset] [Previous: notin] [Top]


notsubset

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

Content Dictionary Entry.


[Next: notprsubset] [Previous: prsubset] [Top]


notprsubset

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

Content Dictionary Entry.


[First: cartesian_product] [Previous: notsubset] [Top]