sentential_function has definitions from the field of mathematics
1
[ noun ] (mathematics) formal expression containing variables; becomes a sentence when variables are replaced by constants

Related terms

formula

*