En tal caso es equivalente a decir que si se tiene un número finito de cajas, cada una con al menos un objeto, se puede escoger exactamente un objeto de cada caja.