TheoremBase

Family and Subfamily of Subsets of a Set

Statement

Let XX be a set, let AA be a set, and suppose that for each element a∈Aa\in A a subset Ua⊆XU_a\subseteq X is specified. The collection (Ua)a∈A(U_a)_{a\in A} is called a family of subsets of XX indexed by AA.

If B⊆AB\subseteq A, then the collection (Ub)b∈B(U_b)_{b\in B} is called the subfamily of (Ua)a∈A(U_a)_{a\in A} indexed by BB.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…