Let $(^\ast X, ^\ast T)$ be the nonstandard extension of a Hausdorff space $(X, T)$. After Wattenberg [6], the monad $m(x)$ of a near-standard point $x$ in $^\ast X$ is defined as $m(x) = \mu_T(\mathrm{st}(x))$. Consider the relation $R_{\mathrm{ns}} = \{\langle x, y \rangle \mid x, y \in \mathrm{ns} (^\ast X) \text{and} y \in m(x)\}.$ Frank Wattenberg in [6] and [7] investigated the possibilities of extending the domain of $R_{\mathrm{ns}}$ to the whole of $^\ast X$. Wattenberg's extensions of $R_{\mathrm{ns}}$ were required to be equivalence relations, among other things. Because the nontrivial ways of constructing such extensions usually produce monadic relations, the said condition practically limits (to completely regular spaces) the class of spaces for which such extensions are possible. Since symmetry and transitivity are not, after all, characteristics of the kind of nearness that is obtained in a general topological space, it may be expected that if these two requirements are relaxed, then a monadic extension of $R_{\mathrm{ns}}$ to $^\ast X$ should be possible in any topological space. A study of such extensions of $R_{\mathrm{ns}}$ is the purpose of the present paper. We call a binary relation $W \subseteq ^\ast X \times ^\ast X$ an infinitesimal on $^\ast X$ if it is monadic and reflexive on $^\ast X$. We prove, among other things, that the existence of an infinitesimal on $^\ast X$ that extends $R_{\mathrm{ns}}$ is equivalent to the condition that the space $(X, T)$ be regular.