$0$ -Colocar funciones constantes

Question

Dejemos que $X = \{\ldots, a, \ldots \}$ y $f$ ser un $0$ -función de lugar con valor constante $a$ en $X$ .

¿Significa esto literalmente que $f = \{\{a\}\}$ ? Es decir, el hecho $f$ es un " $0$ La función "place" sólo significa que $f$ no acepta ningún argumento. Así que tenemos $f = \{(a)\} = \{\{a\}\}$ .

¿Es esto correcto?

Answer 1

Identificación de $0$ y $\emptyset$ Esto significa que $f:X^0\to X$ y para cada $t\in X^0$ tenemos $f(t)=a$ . Desde $X^0=\{0\}$ Esto significa que $f:\{0\}\to X$ y $f(0)=a$ o $f=\{(0,a)\}=\{\{\{0\},\{0,a\}\}\}$ Si insistimos.