be the differential
field of transseries. We establish some basic properties of the
dimension of a definable subset of 
,
also in relation to its codimension in the ambient space . The case of dimension 
is of special interest, and can be characterized
both in topological terms (discreteness) and in terms of the
Herwig-Hrushovski-Macpherson notion of co-analyzability.