[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):

 Chris:

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

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

 Oh, yes; with black gobstoppers and pink gobstoppers: I recall it now.
 [Technically not from school as I am ancient enough that probability and
 sets and such funny modern ideas were considered far too difficult for
 K-12 back then.]

 >>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:-)

 Don't get me started ...:-)

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