Se utiliza cuando el vector en el que queremos determinar la existencia de un elemento está previamente ordenado.