Logical predicate
Redirect to:
Predicate (mathematical logic)