[约定]
约定（Convention）
[约定] 约定（Convention）
“约定”环境规定写法和读法，例如某个符号怎么念、某类证明如何简写。它不引入新的数学对象，而是说明采用这些写法时表达什么含义。