Predicate

In mathematics, a statement with a variable that becomes true or false for each value of the variable: $P(x)$ = “$x$ is even” gives “yes” for $x = 4$ and “no” for $x = 3$. Formally it is a function $P\colon X \to \{\text{yes}, \text{no}\}$. A predicate about programs takes a program and answers “yes” or “no”: “does the code write to the payments table”, “will the program charge money without an order”. Rice’s theorem says which such predicates cannot be computed.

Source: Wikipedia: Predicate (mathematical logic)

Whole glossary