Logic. A symbol whose exact meaning or referend is unspecified, though the range of possible meanings usually is.

a variable that ranges over individuals (sense B. 2a); cf. individual constant n.

Of a function or operator: acting on a single variable. Cf. monadic, adj. 1b, one-place, adj.