Monadic predicate calculus

In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic (also called predicate calculus) in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. In other words, all atomic formulas are of the form P ( t ) {\displaystyle P(t)} , where P {\displaystyle P} is a relation symbol and t {\displaystyle t} is a term.

Source: Wikipedia — Monadic predicate calculus (CC BY-SA 4.0)