Predicate

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

$\displaystyle X\rightarrow \mathbb{B}$

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