De manera informal, afirma que dada una colección de «cajas» con objetos dentro de ellas, es posible "elegir" un objeto de cada caja.