This is a contribution to the theory of topological vector spaces within the framework of the alternative set theory. Using indiscernibles we will show that every infinite set $uS\subseteq G$ in a biequivalence vector space $\langle W,M,G\rangle$, such that $x-y\notin M$ for distinct $x,y\in u$, contains an infinite independent subset. Consequently, a class $X\subseteq G$ is dimensionally compact iff the $\pi$-equivalence ${\doteq }_M$ is compact on $X$. This solves a problem from the paper [NPZ 1992] by J. Náter, P. Pulmann and the second author.

We introduce the properties of a space to be strictly $WFU\left(M\right)$ or strictly $SFU\left(M\right)$, where $\varnothing \ne M\subset {\omega }^{*}$, and we analyze them and other generalizations of $p$-sequentiality ($p\in {\omega }^{*}$) in Function Spaces, such as Kombarov’s weakly and strongly $M$-sequentiality, and Kocinac’s $WFU\left(M\right)$ and $SFU\left(M\right)$-properties. We characterize these in $C_{\pi }\left(X\right)$ in terms of cover-properties in $X$; and we prove that weak $M$-sequentiality is equivalent to $WFU\left(L\right(M\left)\right)$-property, where $L\left(M\right)=\{{}^{\lambda }p:\lambda <{\omega }_1$ and $p\in M\}$, in the class of spaces which are $p$-compact for every $p\in M\subset {\omega }^{*}$; and that $C_{\pi }\left(X\right)$ is a $WFU\left(L\right(M\left)\right)$-space iff...