predicate

Definition

A predicate is a function whose codomain is $\{\text{True}, \text{False}\}$ and whose domain could be any set.

(intuitively: statement whose truth value depends on one or more variables from any set)

References

1. https://www.cs.toronto.edu/~david/course-notes/csc110-111/03-logic/02-predicate-logic.html