Predicate

A function that returns true or false whether the given value returns true

$X\to \mathbb{B}$

• $X$ is some arbitrary set
• $\mathbb{B}$ is the Boolean domain