Unione di multinsiemi

Somma le occorrenze degli elementi uguali. Un multinsieme è una raccolta in cui gli elementi ripetuti si contano separatamente: se un sacco contiene due copie di a e un altro ne contiene una, ⊎ dà tre. In Z, un linguaggio formale per scrivere specifiche software, la norma Z versione 1.0 usa il simbolo per l’unione di sacchi, sommando le occorrenze.

L’idea di contare le ripetizioni precede questo glifo. Il resoconto di Bhāskarāchārya sulle disposizioni con elementi ripetuti, intorno al 1150, è spesso considerato uno dei primi studi sui multinsiemi. La parola inglese “multiset” fu coniata negli anni Settanta.

⊎ è uguale all’unione ordinaria?

No. ∪ registra l’appartenenza; ⊎ somma le occorrenze. Un insieme registra se un elemento è presente, quindi le copie ripetute si riducono a un solo membro. Se i duplicati contano, {a, a} ⊎ {a} contiene tre copie di a.

⊎ fu preso in considerazione per la notazione dei punti di codice?

Sì, come prefisso visivo proposto. In Unicode 1.0 (1991), ⊎ fu preso in considerazione come prefisso visivo compatto per i numeri dei punti di codice, prima che il prefisso di testo semplice U+ diventasse pratico.