The relation written so it can be reused — arithmetic with names in it, true every time its terms are.
Latin formula (a small form, a rule, a method), diminutive of forma; a relation written down so it stays true wherever its terms are met.
A relation written so it can be reused: true again every time its terms are, arithmetic carrying names.