Re:Partial functions and total functions
by blablabla123 on Tuesday December 14, 2021 @08:04AM
(#29551082)
> On the other hand, you might define a function as a triple (D, R, f)
That's also the approach in Functional Analysis. Depending on how you choose D and R, some fundamental properties of the function change, e.g. bijectivity. Therefore specifying the sets is strictly speaking not optional.
The proper function definition in the other formalism would be rather:
That's also the approach in Functional Analysis. Depending on how you choose D and R, some fundamental properties of the function change, e.g. bijectivity. Therefore specifying the sets is strictly speaking not optional.
The proper function definition in the other formalism would be rather:
f: D -> R: ...