An extension of a function is a function defined on a superset Y of X such that f | X = g.

• 计算机科学中，参数和返回值的数据类型分别确定了子程序的定义域和对映域。