first-order
adjective
1.
(
logic
) quantifying only over individuals and not over predicates or clauses:
first-order predicate calculus
studies the logical properties of such quantification
first-order
in Technology
Not higher-order.
(1995-03-06)