extension

function defined on a larger domain