ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Empty map
▼ Collection
▼ Minimally disjoint collection of sets
Definition D3922
N-wise disjoint set collection
Formulation 0
Let $X_j$ be a D11: Set for each $j \in J$.
Then $X = \{ X_j \}_{j \in J}$ is an N-wise disjoint set collection with respect to $N \in 2, 3, 4, \ldots$ if and only if \begin{equation} \forall \, j_1, \ldots, j_N \in J \left( \forall \, n, m \in 1, \ldots, N \left( n \neq m \quad \implies \quad j_n \neq j_m \right) \quad \implies \quad \bigcap_{n = 1}^N X_{j_n} = \emptyset \right) \end{equation}
Also known as
N-wise mutually disjoint set collection
Children
▶ D1681: Disjoint set collection
▶ D5781: Pairwise disjoint set collection