Assertion: set's element | /r/HasProperty | all the values of the function
Facets:
Source sentences:
text: For every given definable function with domain a set \(A\), there is a set whose elements are all the values of the function.