Assertion: indexed sequence | /r/HasProperty | function
Facets:
value: from α
type: OTHER
Source sentences:
text: If α is a limit ordinal and X is a set, an α-indexed sequence of elements of X is a function from α to X.