Hva betyr ⊔
Den markerer en union som holder delene adskilt.
I sqcup-notasjonen A ⊔ B bevares et merke som viser om hvert element kom fra A eller B. Hvis samme verdi finnes i begge mengdene, kan den forekomme to ganger, med et merke for hvert opphav. I kategoriteori kalles en disjunkt union av mengder et koprodukt.
Hva er historien til den firkantede cup-notasjonen?
Den dokumenterte datoen 1888 gjelder de vanlige cup- og cap-tegnene.
Matematikeren Peano brukte ∪ for union og ∩ for snitt i 1888. Denne datoen dokumenterer den vanlige cup- og cap-notasjonen, men daterer ikke ⊔ selv.
Den firkantede cup-operatoren brukes i mengdelære, topologi, algebra og kategoriteori når det er viktig å bevare identiteten til hver komponent.
Formell matematisk notasjon, særlig når en konstruksjon må bevare hvilken inngangsmengde et element kom fra.
Bruk ∪ for vanlig union; ⊔ signaliserer en disjunkt union eller en konstruksjon som bevarer opphavsmerker.
Ikke forveksle med
1Slik skriver du ⊔
⊔\2294Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.