Procedimiento de búsqueda de un elemento en un conjunto ordenado, en el que, en cada paso, el conjunto se divide en dos partes, una de las cuales se descarta si se puede demostrar lógicamente que el elemento no puede estar en esa parte, repitiéndose el proceso en la parte aceptada hasta completar la búsqueda..
