Category:Indexed Families

From ProofWiki
Jump to navigation Jump to search

This category contains results about Indexed Families.
Definitions specific to this category can be found in Definitions/Indexed Families.

The image $\Img x$, consisting of the terms $\family {x_i}_{i \mathop \in I}$, along with the indexing function $x$ itself, is called a family of elements of $S$ indexed by $I$.

Subcategories

This category has the following 6 subcategories, out of 6 total.

Pages in category "Indexed Families"

The following 45 pages are in this category, out of 45 total.