What is "finitary"

a. 1 Of a function, taking a finite number of arguments to produce an output. 2 (label en logic) Pertaining to finite-length proofs, each using a finite set of axioms.

In mathematics or logic, a finitary operation is an operation that takes a finite number of input values to produce an output, like those of arithmetic. Operations on infinite numbers of input values are called infinitary.