Frecuentemente se usa para reducir proposiciones generales sobre colecciones de objetos a proposiciones sobre objetos en particular de esa colección.