OpenMath Signatures


Type System: sts
Content Dictionary: multiset
CD Signature File: multiset.sts
CD Signature as XML Encoded OpenMath: multiset.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: emptyset] [Last: size] [Top]


emptyset

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

Content Dictionary Entry.


[Next: multiset] [Previous: cartesian_product] [Top]


multiset

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

Content Dictionary Entry.


[Next: intersect] [Previous: emptyset] [Top]


intersect

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

Content Dictionary Entry.


[Next: union] [Previous: multiset] [Top]


union

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

Content Dictionary Entry.


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


setdiff

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

Content Dictionary Entry.


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


subset

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

Content Dictionary Entry.


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


in

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

Content Dictionary Entry.


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


notin

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

Content Dictionary Entry.


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


prsubset

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

Content Dictionary Entry.


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


notsubset

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

Content Dictionary Entry.


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


notprsubset

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

Content Dictionary Entry.


[Next: size] [Previous: notsubset] [Top]


size

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

Content Dictionary Entry.


[First: cartesian_product] [Previous: notprsubset] [Top]