generated at
partial application
Restriction (mathematics), the more general phenomenon of restricting a function to a subset of its domain