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