Etymology
Today it means: Totally ordered multiset. Full definition →
* By abbreviation.
Etymology from Wiktionary, CC BY-SA 4.0.