First-order predicate
From Wikipedia, the free encyclopedia
A first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.