[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:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by jauecker):

 '''David:'''


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

 yes except I think I called them "bags" when I was at school.

 >Does 'element of a multiset' mean anything
 I think it just means element of the underlying ser.

 >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'.

 you can, although some computer science types may want to think of lists
 as fundamental and define multisets to be lists ignoring the ordering
 and sets to be lists ignoring the ordering and repetitions. Do we really
 have to say? We don't define most operations.<int/> means whatever you
 mean by integration, we don't have to define it here.


 >The empty multiset is identical to the empty set (I think:-).
 next you'll be telling me that zero in the integers is the same as zero
 in the real numbers:-)

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