Para cada conjunto "A", existe exactamente una función vacía: