We show that derivations of the differential structure of a subcartesian space satisfy the chain rule and have maximal integral curves.

中文翻译：

---

在子笛卡尔空间上，莱布尼茨规则暗含链式规则

我们证明了子笛卡尔空间的微分结构的推导满足链式法则并且具有最大积分曲线。