'Mathematical expression'
=An well-formed finite sequence of mathematical symbols that can not be determinded to be true or false and produce another mathematical object.



출처 - 테렌스타오 해석학 1권 부록A + 위키피디아


의외로 깔끔한 표현으로 명료하게 서술이 잘 되길래 긁어왔다