Metadata
Author: WikiMatrix
Data
English[en]
The existence of a unique empty function from the empty set to every set A means that the empty set is an initial object in the category of sets.
Spanish[es]
La existencia de una única función vacía para cada conjunto A significa que el conjunto vacío es un objeto cero o inicial en la categoría de conjuntos.