sentential function

noun

1.
formal expression containing variables; becomes a sentence when variables are replaced by constants