We introduce the notion of $D$-sets ($D^{*}$-sets) and establish the Unknotting Theorem for $D$-sets in a manifold modeled on $R^{\infty}=$dir $\lim R^{n}$ or $Q^{\infty}=$ dir $\lim Q^{n}$, where $Q$ is the Hilbert cube. This yields equality of $D$-sets, $D^{*}$-sets and intinite (i.e.,$R^{\infty}$ or $Q^{\infty}$) deficient sets. Our Theorem corresponds to a weak version of the Unknotting Theorem for infinite deficient sets proved by V.T. Liem. However our proof is elementary and short. And we give an alternative proof of the Infinite Deficient Embedding Approximation Theorem due to Liem. Using Anderson-McCharen's trick, this Approximation Theorem strengthens our Unknotting Theorem in the strong form. Moreover, we show that the union of two $R^{\infty}$ (or $Q^{\infty}$) manifolds meeting in an $R^{\infty}$ (or $Q^{\infty}$) manifold is also an $R^{\infty}$ (or $R^{\infty}$) manifold, and that for any space $X$, $X\times R$ is an $Q^{\infty}$ (or $Q^{\infty}$) manifold if and only if so is $X\times I$.

In the randomized block design with I blocks and two treatments, the within-block rank test is considered. It is found that the test is asymptotically efficient for a large number of observations per each cell and the asympotic expansion of that under the null hypothesis is obtained.

In this paper, the concept of the approximate section extension property (ASEP) is introduced. It is shown that hereditary shape equivalences are exactly the maps with the hereditary ASEP and every $UV^{n-1}$-map with $n$-dimentional range has the ASEP.