Predicate (computer programming)
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Predicate_(computer_programming)".

It has been suggested that this article or section be merged with Predicate (logic). (Discuss)

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.

A function P: X→ {true, false} is called a predicate on X. When P is a predicate on X, we sometimes say P is a property of X.

References

• Predicate -- from Wolfram MathWorld.

This mathematics-related article is a stub. You can help Wikipedia by expanding it.