disjoint union

无交并

Foundations & Logic · Undergraduate · Mathematics Resources editorial compilation (AI-assisted)

Translation evidence: Literature usage

Meaning in context

For indexed sets, the set of pairs (i,x) with x in the i-th set, retaining the component index.

一族带指标集合的无交并是所有 (i,x)（x 属于第 i 个集合）的集合，保留元素的来源指标。

Example

$\{2\}\sqcup\{2\}$ has two tagged members.

Usage and distinctions

Already disjoint subsets may use their ordinary union as a model; tagging handles overlapping inputs.

Recommended reading in this subject · Preparation & skip guidance

Definition sources

1. 李文威 — 代数学方法，第一卷（作者源码）第1章「ZFC 公理一览」 · Checked 2026-10-14

Translation sources

1. 李文威 — 代数学方法，第一卷（作者源码）第1章：「ZFC 公理一览」，X⊔Y 与指标族的无交并 · Checked 2026-10-14

Original encyclopedia and terminology content: CC BY-SA 4.0. Contribute or report a correction.