WFF

Noun

 * 1) ; well-formed formula.