tomset

Meaning

1. noun Totally ordered multiset.

Similar words

toset ordered set pomset totally ordered set multiset poset metaset tomonoid multisubset sets