La definición de un producto vacío se puede derivar de la de la suma vacía: