[定义]
定义（Definition）
[定义] 定义（Definition）
“定义”环境引入一个新概念，并精确规定它的含义。定义只是约定，不需要证明；使用该概念时，以定义中的规定为准，而不以日常含义为准。新术语用粗体标出，括号里给出英文原名。