well-formed formula

noun1

1. •
   A statement that is expressed in a valid, syntactically correct manner.

   • This program works correctly on all well-formed formulas but it blows up on illegal input.