Which condition must hold before binary search can safely discard half of the remaining r…

Which condition must hold before binary search can safely discard half of the remaining range?

1. The data is ordered under the same comparator used by the search.
2. The collection contains no duplicate values.
3. The target is known to be present.