restrict
function restricted to a domain
letting f be function(0-->1,3-->4)
letting D be domain int(0,2)
find g : function int(0..4)-->int(0..4) such that g = restrict(f, D)
Using to extract a sub-function from a function, which is only defined within a specific domain.
See it demonstrated here.