The existence of a unique empty function from ∅ into each set "A" means that the empty set is an initial object in the category of sets.
Существование уникальной пустой функции для каждого множества "A" означает, что пустое множество является начальным объектом в категории множеств.