predicate

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

Terms of Software Testing (ISTQB)