http://standards.iso.org/iso/19103/ed-1/en/
A bag is a type of set where t ...... count (a integral ordering).