Assertion: set's property | /r/HasProperty | more than one
Facets:
value: for any set
type: OTHER
Source sentences:
text: A class function is not a function in the usual sense, since it is not a set; it is rather a formula Φ ( x , y ) {\displaystyle \Phi (x,y)} with the property that for any set x {\displaystyle x} there is no more than one set y {\displaystyle y}