Category:Definitions/Indexed Families

From ProofWiki
Jump to: navigation, search

This category contains definitions related to Indexed Families.
Related results can be found in Category:Indexed Families.

The codomain $S$ consisting of the terms $\left \langle {x_i} \right \rangle_{i \mathop \in I}$, along with the indexing function $x$ itself, is called a family of elements of $S$ indexed by $I$.


This category has only the following subcategory.


Pages in category "Definitions/Indexed Families"

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