Does the set theoretic definition of a function include the information for what the codomain is?
55490
Codomains and the definition of a function
15487
Continuous function from a connected set?
80210
It is posible to have a function $f$ with the following property?
63717
Is the closure of a set equal to the closure of the closure of that set?
16225
Set-theoretical definition of function evaluation
130418
Is ${\{\emptyset,\{\emptyset\},\{\{\emptyset\}\},\{\{\{\emptyset\}\}\},...\}} $ a set?
76344
Reference for creative set criterion theorem
112523
Does $\sqsubset$ have any special meaning?
34909
To what extent is a scheme morphism determined by its topological map?
92953
Someone needs to set the record straight on what exactly antiderivatives vary by: constants functions or piecewise constant functions.
55601
Finding out which functions are called within a given function
69563
What are well-defined functions?
100283
How to understand the notion of a differential of a function
155063
Is Cl(f(A)) a subset of f(Cl(A))?
149122
If two functions are defined by the same formula, but have different codomains, are they equal?
99927
The closure of $\{ z:|f(z)|<c\}$ is the set $\{z:|f(z)|\leq c\}$.
36942
What does it mean that a set S tautologically implies wff $\tau$