Geometric meaning of $D_k(n)=\left\{ (x_1,\dots ,x_n)\in R^n\mid \prod_{i=1}^{k+1}x_{\ell _i}=0 \; \forall \ell_i \right\}$ In Anders Kock's book  Synthetic Differential Geometry, the following objects are introduced (I used brackets but the notation stands for the corresponding object in your favorite $$D_k(n)=\left\{ (x_1,\dots ,x_n)\in R^n\mid \prod_{i=1}^{k+1}x_{\ell _i}=0 \; \forall \ell_i \right\}$$
where $R$ is the geometric line. So $D_k(n)$ is comprised of all $n$-tuples such that the product of every $(k+1)$-tuple is zero.
These objects are shown to have some nice formal properties, but I don't understand what their "elements" mean geometrically. Elements of $R$ satisfying $x^2=0$ I can understand as tiny, so the definition of the tangent bundle as an exponential is very clear.
How to make sense of the $D_k(n)$'s?
 A: You might call $D_k (n)$ the $n$-dimensional infinitesimal disc of order $k$. In particular, note that $D_1 (1)$ is (isomorphic to) $D = \{ x \in R : x^2 = 0 \}$, and in general, $D_k (1)$ is (isomorphic to) $D_k = \{ x \in R : x^{k+1} = 0 \}$. Note also that $D_1 (1) \subseteq D_2 (1) \subseteq D_3 (1) \subseteq \cdots$: so "higher-order" infinitesimals are, in a sense, larger rather than smaller.
It's a bit harder to explain why $D_k (n)$ is defined the way it is for $n \ge 1$. Obviously, $D_k (n) \subseteq (D_k)^n$, but why do we include the condition on cross-terms? I think the answer is that these definitions are designed with the theory of power series in mind. For instance, $D_1 \subseteq R$ is not closed under sums, but for $(x_1, \ldots, x_n) \in D_k (n)$ and $(\lambda_1, \ldots, \lambda_n) \in R^n$, we have $\lambda_1 x_1 + \cdots + \lambda_n x_n \in D_k$, i.e. $(\lambda_1 x_1 + \cdots + \lambda_n x_n)^{k+1} = 0$. In fact:

Let $\vec{x} \in R^n$. The following are equivalent:
  
  
*
  
*$\vec{x} \in D_k (n)$.
  
*For every $m$-linear form $\phi : R^n \to R$, if $m > k$, then $\phi (\vec{x}) = 0$.
  

Thus, it makes sense to evaluate power series at elements of $D_k (n)$, and moreover, the value is equal to the truncation of the power series to terms of total degree $\le k$.
