Binary Search works by dividing the search space in half during each step and performing a constant amount of work to compare the middle element. This gives the recurrence relation T(n) = T(n/2) + k, where n is the size of the array and k is the constant time for comparison.