数学定义定理中,说明限制的条件就是一定要满足的,没说明的条件就是可以满足可以不满足的吗?