3 Terms and definitions [intro.defs]

3.29 well-formed program [defns.well.formed]

C++ program constructed according to the syntax rules, diagnosable semantic rules, and the one-definition rule ([basic.def.odr]).