给出一个数学定义，就伴随一些性质。这些性质是不是再给出定义时，就已经知道啦。

给出一个数学定义，就伴随一些性质。这些性质是不是再给出定义时，就已经知道啦。