Permite obtener conjuntos a partir de otros, y cuyo tamaño es menor que el de aquellos de los que han sido obtenidos.