Countable_Multiset.Countably_Infinite_Multiset