Predicate (mathematics)
From Wikipedia, the free encyclopedia
-
For other meanings of "predicate", see Predicate (disambiguation).
In mathematics, a predicate is either a relation or the boolean-valued function that amounts to the characteristic function or the indicator function of such a relation.
Predicate: A function P: X→ {true, false} is called a predicate on X. so P(true, false, true) = true when P is a predicate on X, we sometimes say P is a property of X.