[Trac] [OpenMath] #62: CD multiset1

[OpenMath]

#62: CD multiset1
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 Are 'multisets' in K-14 (for maths,not CS).

 Why do we use set functions here and not multiset functions?

 Does the colection of 'elements of a multiset' form a set?

 Does 'element of a multiset' mean anything (recall that set membership
 is atomic so does not need a definition, but multiset membership does)?

 elements construct   ???

 Please can I define my multiset by a function from a (base) set to N ?
 Then I can answer all these questions for myself using the 'base set
 of the mulstiset'.

 A very basic operation on multisets is to construct this base set and
 hence the value of this number on 'an element of the multiset',
 soetimes called the 'multiplicity funtion'.

 The empty multiset is identical to the empty set (I think:-).

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/62>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.