disjoint union

modified union operation that indexes the elements according to which set they originated in
rdfs:label
"disjoint union"@en
skos:altLabel
"direct sum"@en
"discriminated union"@en
"set sum"@en
"⊔"@en
"⨆"@en
schema:description
"modified union operation that indexes the elements according to which set they originated in"@en
schema:dateModified "2026-10-03T08:19:46+00:00"^^xsd:dateTime
schema:version 2552498182
wikibase:identifiers 5
wikibase:sitelinks 21
wikibase:statements 15
p:P12888 wd:statement/Q842620-BD76C5CB-623B-402D-A875-654C3A1F9AC6
p:P14540 wd:statement/Q842620-A731E3A9-6E94-4128-A98F-9DA3F8726019
p:P1687 wd:statement/Q842620-7944da43-4646-e1f6-34f6-90acfdfc0675
p:P18 wd:statement/Q842620-dc74a587-4c85-a4b0-526d-bea1115fafce
p:P1889 wd:statement/Q842620-6e08e030-4631-eb96-46a3-da52314d6e54
p:P1993 wd:statement/Q842620-0a313b3e-4919-cfd4-88dd-e17cb3cad604
p:P2812 wd:statement/Q842620-EEB86B31-4512-469F-8F94-8CA99B3F6B87
p:P31 wd:statement/Q842620-3c88a479-4dd9-7581-63c1-c7a09e243dd5
p:P361 wd:statement/Q842620-20bd8a90-47ea-1df6-9840-1a0cf8f858dc
p:P366 wd:statement/Q842620-2d5ee593-43d9-0cfe-0041-b1542deda215
p:P4215 wd:statement/Q842620-e78c6f79-49a3-af28-5f46-2424a01cd762
p:P487 wd:statement/Q842620-33aaade8-4574-2e1c-4d8b-057290cd15fe
p:P6104 wd:statement/Q842620-8862A9A4-F1D0-4B65-8BDA-6CEEE17940D2
p:P6366 wd:statement/Q842620-93E31BA4-E4DC-4C5E-A626-B1145913CDF7
p:P646 wd:statement/Q842620-20C6A269-D3C1-4901-B7EF-668CE3B1BC5A
p:direct-normalized/P6366 <https://makg.org/entity/201383181>
wdt:P12888 "df-dju"
wdt:P14540 Cartesian product
wdt:P1687 disjoint union of
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Disjunkte%20Mengen.svg>
wdt:P1889 symmetric difference
wdt:P1993 "\sqcup"
wdt:P2812 "DisjointUnion"
wdt:P31 set operation
wdt:P361 category of sets
wdt:P366 disjoint sets
wdt:P4215 "disjoint union"
wdt:P487 "⊔"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "201383181"
wdt:P646 "/m/019vq3"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata