Nótese que en ambas representaciones el producto vacío tiene cardinal 1.