Inclusive Membership Union Design¶
Pool collections by inclusive membership without losing identity, provenance, or overlap visibility.
Union is the accepted target prime for queue position 41: everything belonging to at least one of several collections. This draft treats union as a reusable solution archetype for inclusive membership aggregation, not as a mere mathematical notation.
Disposition¶
draft_full_archetype — direct searches of accepted archetypes, alias/variant/component/mechanism indices, and duplicate/merge maps found no existing parent archetype for provenance-preserving inclusive membership union. Neighboring prior queue outputs cover complement, intersection, disjointness, partition, measure, and generated span, but none supplies the union-specific package of at-least-one inclusion, identity normalization, duplicate collapse, overlap visibility, and downstream use labeling.
When This Archetype Applies¶
Partial catalog groundingSome structural conditions are represented by existing abstractions, but no sufficient condition set is fully represented.
Diagnostic problem
Multiple collections must be combined so any-source membership counts, but the combined result becomes unreliable when universe scope, member identity, duplicates, source provenance, overlap, or type compatibility are implicit.
Applicability expression5 distinct conditions
groundedpartly groundedopen
5 conditions, all required.
5Required in every casenumbered 1–5
These hold no matter which pattern applies.
Any-source collection union · grounded
Several source collections are combined under an inclusive any-source membership rule.
The source archetype describes the situation as follows: A decision, search, eligibility rule, dataset, catalog, or watchlist needs the inclusive set of all items appearing in any of several sources. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeUnion— The elements belonging to at least one of several collections — everything that is in any of them.
Deduplicated overlapping membership · grounded
Source collections overlap and repeated appearances of the same member must collapse to one.
The source archetype describes the situation as follows: Source collections overlap and repeated appearances must not be counted as distinct members. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeUnion— The elements belonging to at least one of several collections — everything that is in any of them.
Single-source sufficiency · grounded
Membership in any one contributing source is sufficient for inclusion.
The source archetype describes the situation as follows: Membership in one source is sufficient, but downstream users still need to know which source supplied the member. The normalized requirement above isolates the load-bearing portion used in this condition set.
primeUnion— The elements belonging to at least one of several collections — everything that is in any of them.
Incompatible source identities · 4 cases · 0 matched
Sources use incompatible identifiers,1 names, types,3 or update cadences4 for the same underlying elements.
The source archetype describes the situation as follows: Sources use different identifiers, naming conventions, types, or update cadences for the same underlying elements. The normalized requirement above isolates the load-bearing portion used in this condition set.
Unvalidated union reuse · open
An inclusive combined list is reused as though it were a validated truth set.
The source archetype describes the situation as follows: A combined list is reused as if it were a validated truth set rather than an inclusive membership set. The normalized requirement above isolates the load-bearing portion used in this condition set.
Other requirements and context (1)
Why these sit outside the expression
Supporting context — it may accompany or help interpret the situation, but it is not a load-bearing condition in a sufficient diagnostic set.
Supporting contextUnion size, overlap structure, or changes across versions become important evidence.
Multiple collections must be combined so any-source membership counts, but the combined result becomes unreliable when universe scope, member identity, duplicates, source provenance, overlap, or type compatibility are implicit. In this archetype, the relevant contextual consideration is: Union size, overlap structure, or changes across versions become important evidence. It helps interpret the situation or strengthens the practical case for examining the archetype.
Coverage
3 of 5 conditions grounded · 2 open.
Boundary note¶
This draft should be reviewed together with shared_subset_intersection_mapping, complement_space_mapping, overlap_exclusion_design, exhaustive_disjoint_partition_design, additive_measure_space_design, and the upcoming unity_test and vector_space targets so the algebraic/set-theoretic family remains coherent.
Common Mechanisms¶
9 documented mechanisms across 6 implementation forms.
The grouping reflects forms represented among the mechanisms currently documented for this archetype; an absent form is not necessarily an impossible implementation.
Assessment, Review & Assurance · 3 mechanisms
- Inclusive-OR Membership Test — A per-element predicate that answers 'is this a member?' with yes the moment the element appears in at least one admissible source, without building the whole set.
- Type Compatibility Checklist — A pre-union gate that checks each candidate source's elements are the same kind of thing, in the same universe, before it is allowed to contribute members.
- Union Delta Review — A version-over-version review of the union that separates genuine membership change from source outages, using provenance timestamps to explain every add and drop.
Interface, Display & Cue · 1 mechanism
- Overlap and Coverage Dashboard — Renders the union's overlap structure and per-source coverage at a glance, and stamps the standing warning that any-source membership is not validation.
Intervention, Treatment & Transformation · 2 mechanisms
- Canonical Identity Resolution Pass — Turns each source collection's own identifiers into one canonical member key, so the same real-world entity is recognized as the same member wherever it appears.
- Deduplicating Union Pass — Materializes the union set by emitting each canonical member exactly once, collapsing repeated appearances and folding their provenance into a single record.
Protocol, Workflow & Routine · 1 mechanism
- Source Collection Ingestion Workflow — Registers each contributing collection as a first-class source and defines how an absent, empty, or failed source is handled — so the union knows exactly what it is unioning.
Record, Log & Register · 1 mechanism
- Provenance Tagging Protocol — Attaches to each union member a durable record of which sources supplied it — with version, timestamp, and membership criterion — keyed to its canonical identity.
Representation, Specification & Plan · 1 mechanism
- Union Specification Sheet — A single declared document that fixes the union's universe, its contributing sources, and the downstream-use label — the contract every other mechanism is built against.
Compression statement¶
Inclusive Membership Union Design is the intervention pattern of declaring source collections and a universe, normalizing member identity, applying the at-least-one membership rule, collapsing duplicates, retaining source provenance, auditing overlaps, and labeling downstream use limits so a combined collection is a controlled union rather than an ambiguous merged list.
Canonical formula: U = ⋃ᵢ Sᵢ = {x ∈ Ω | ∃i: x ∈ Sᵢ}; with provenance P(x) = {i | x ∈ Sᵢ}.
Related Abstractions¶
Abstractions this archetype builds on — directly (a source ingredient) or as a related pattern. Links follow the typed catalog namespace.
Built directly on (2)
- Set and Membership: Groups and categorizes elements.
- Union: The elements belonging to at least one of several collections — everything that is in any of them.
Also references 22 related abstractions
- Aggregation: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability.
- Associativity: Grouping does not affect result.
- Boundary: Defines system limits.
- Category: Describe a system by its arrows and their composition, not by what its objects are.
- Classification: Sorting entities into discrete categories by explicit rules, turning unbounded variation into a finite, reusable map for downstream reasoning and action.
- Commutativity: Order of inputs does not affect output.
- Complement: Everything in a declared universe that is not in a designated subset.
- Completeness: No gaps in structure.
- Criteria of Individuation: The rules a system fixes for what makes something one entity — when parts compose a single whole, when two presentations are the same entity, and which kind supplies a thing's persistence — together constituting its inventory of countable individuals.
- Disjointness: Two or more populated collections share no element.
Variants¶
Narrower or domain-specific specializations that share this archetype's core structure. Recognized variants are established; candidate variants are provisional.
Provenance-Preserving Union · audit variant
Tagged Disjoint Union · formal variant
Logical Disjunction Union · logic variant
Multi-Channel Retrieval Union · domain variant
Editorial Notes¶
Problem Classification¶
Classification: Identity, Provenance & Integrity Failure → Collision, Membership & Feature Binding
Problem kernel: pooled collections lose member identity, provenance, and overlap binding
Rationale: Pooling collections becomes unreliable because member identity, duplicates, overlap, source provenance, universe scope, and type compatibility lack binding rules, so distinct entities may collapse or one member may fragment across sources. Coverage accounting is not primary because a union legitimately allows overlap; the problem is preserving identity and source-specific membership while any-source inclusion is combined.
Boundary considered: Correctness, Conformance & Formal Validity Failure → Coverage, Partition & Set Accounting
Why this classification prevailed: Collision and binding govern which cross-source records denote the same member and retain provenance; set accounting governs whether a declared space has formal gaps, overlaps, or missing combinations.
Review outcome: Adjudicated after independent review; high confidence.