Assertion: family | /r/HasProperty | equivalent
Facets:
value: formally
type: DEGREE
Source sentences:
text: Surjective functions and families are formally equivalent, as any function f with domain I induces a family (f(i)) i∈I .
text: In practice, however, a family is viewed as a collection, not as a function: being an element of a family is equivalent with being in the range of the corresponding function.