One-place predicate

Redirect to:

• First-order predicate