Although I was able to find the definition of predicates online at MSDN:
Is an expression that evaluates to TRUE, FALSE, or UNKNOWN. Predicates are used in the search condition of WHERE clauses and HAVING clauses, the join conditions of FROM clauses, and other constructs where a Boolean value is required.
I have been unable to find the definition of what a residual predicate is. What is a residual predicate?