Infinite multisets: Basic properties and cardinality | Synapse