has the property

is to say that there is a function of type

, formally equivalent to

, and having the property

.