Direct Sum
nounid
46411·updated May 18, 2026verified
a union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets
MWE
Attested in
No recorded attestations. They are written when an MWE tagging stage is completed, stamped with the pack version and the document’s digest.
Classifications
Entity Type
Unknown—glossary_import_default_pending_classifier
Sensitivity
unclassified
Information Class
unclassified
Variants
- plural
- Direct Sums
- possessive
- Direct Sum's
- pluralpossessive
- Direct Sums'
Framework definitions
- §1
- a union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets
- §1 · legacy_primary
- a union of two disjoint sets in which every element is the sum of an element from each of the disjoint setsDR-088 backfill from the noun definition column
Outgoing relationships
No outgoing triples
This term is not the subject of any RDF-style relationship yet.
Incoming relationships
No incoming triples
No other term currently asserts a relationship to this one.