Assertion: indexed family | /r/HasProperty | mathematical function
Facets:
value: with its domain
type: OTHER
value: together
type: MANNER
value: more formally
type: MANNER
Source sentences:
text: More formally, an indexed family is a mathematical function together with its domain I {