Abstract
In various papers on some of the theoretical aspects of computing, the reader is confronted with a mathematical entity called a “multiset”, and is told that a multiset is “an unordered collection of elements that may have repeated occurrences of identical elements” (see, for example, Nachum Dershowitz and Zohar Manna, “Proving termination with multiset orderings”, Lecture Notes in Computer Science, 71). These entities are then manipulated in accordance with the classical laws of set algebra. The purpose of this note is to present a formal foundation for this concept of multiset, and to show by means of examples that if this foundation is adopted then, although certain sections of classical set algebra can be applied to multisets, it certainly cannot be applied in total.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.