Predicate

A statement that can evaluate to true or false and may be used to determine the control flow of subsequent decision logic.