We show that if the family $\mathcal{O}$ of orbits of all vector fields on a subcartesian space $P$ is locally finite and each orbit in $\mathcal{O}$ is locally closed, then $\mathcal{O}$ defines a smooth Whitney A stratification of $P$. We also show that the stratification by orbit type of the space of orbits $M/G$ of a proper action of a Lie group $G$ on a smooth manifold $M$ is given by orbits of the family of all vector fields on $M/G$.

We discuss properties of the regular part $S_{\operatorname{reg}}$ of a subcartesian space $S$. We show that $S_{\operatorname{reg}}$ is open and dense in $S$ and the restriction to $ S_{\operatorname{reg}}$ of the tangent bundle space of $S$ is locally trivial.

Let $\mathcal{F}$ be a family of vector fields on a manifold or a subcartesian space spanning a distribution $D$. We prove that an orbit $O$ of $\mathcal{F}$ is an integral manifold of $D$ if $D$ is involutive on $O$ and it has constant rank on $O$. This result implies Frobenius' theorem, and its various generalizations, on manifolds as well as on subcartesian spaces.