void函数的形象是什么？

Question

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

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

将是从整数到整数的映射。因此逻辑适用于大多数函数，但是如果函数的返回值是无效的呢？这仍然符合数学范式，或者是出发，还是那个？