The MathResource
well-formed,
adj. (Logic) (of a formula, expression, etc.) grammatically correct; constructed in accordance with the formation rules of a particular formal system. Often abbreviated WFF (for well-formed formula).