On dense subsets of Tychonoff products (Q2451999)

Let \(X\) be the product of \(\mathfrak c\) many countable discrete spaces. Then there is a countable dense subspace \(D\subset X\) such that: \(D=\bigcup_{k\in\omega}D_k\) where each \(D_k\) is finite and \(D_k\cap D_\ell=\varnothing\) when \(k\not=\ell\); for each infinite \(C\subset\omega\) the set \(\bigcup_{k\in C}D_k\) is dense in \(X\); if for \(E\subset D\) there is \(m\in\omega\) such that \(|E\cap D_k|\leq m\) for all \(k\in\omega\) then \(D\setminus E\) is dense in \(X\); if for \(E\subset D\) there is \(m\in\omega\) such that \(|E\cap D_k|\leq m\) for all \(k\in\omega\) then \(E\) is discrete and closed in \(D\). If more generally \(X\) is the product of \(\mathfrak c\) many separable spaces then there is a countable dense subspace \(D\subset X\) satisfying the first three conditions above.