function - 虚函数的形象是什么？

Question

如果函数是从将某个值从某个集合S映射到T的数学概念中借用的，那么函数：

int increment(int input)
{
    return input + 1;
}

将是从整数到整数的映射。所以逻辑适用于大多数函数，但是如果函数的返回值是 void 怎么办。这是否仍然符合数学范式，或者那是一种偏离，或者那是什么？