Predicate

From CS2800 wiki


A predicate (or property) is a proposition that depends on one or more variables. For example, "x > 0" is a predicate. Plugging in a value for x gives a proposition (e.g. "1 > 0").