A Generalisation of Bags in Z

As a mathematical theory for use in specification, bags (in Z) are currently a poor cousin to the better known and more widely used theories such as sets, relations, functions and sequences. By both expanding the range of operators available on bags, and generalising the basic notion of bags themselves, bags can be turned into a more useful theory that is applicable to a wider range of problems.