BinaryPredicate is a set of requirements expected by some of the standard library facilities from the user-provided arguments.