Construction of a family of sets satisfying specific properties Is it possible to construct a family of sets $\{A_{ij}\}_{i,j=1}^\infty$ and $\{B_{ij}\}_{i,j=1}^\infty$ such that:
$(1)$For any positive integer $i\geq1$,$A_{ij}\searrow\emptyset$ and $B_{ij}\searrow\emptyset$ as $j\to\infty$;
$(2)\bigcup_{i=1}^\infty A_{i1}=\bigcup_{i=1}^\infty B_{i1}$;
$(3)A_{11},A_{21},A_{31}...$are pairwise disjoint and $B_{11},B_{21},B_{31}...$are pairwise disjoint;
$(4)$For any positive integers $i$,there exist positive integers $j_1,j_2$ and sequences of positive integers $\{i_k\}_{k=1}^\infty,\{j_k\}_{k=1}^\infty$ such that $A_{ij_1}\bigcap (\bigcup_{k=1}^\infty B_{ki_k})=\emptyset$ and $B_{ij_2}\bigcap (\bigcup _{k=1}^\infty A_{kj_k})=\emptyset$;
$(5)$For any sequences of positive integers $\{i_k\}_{k=1}^\infty$ and $\{j_k\}_{k=1}^\infty$,
$(\bigcup_{k=1}^\infty A_{ki_k})\bigcap (\bigcup_{k=1}^\infty B_{kj_k})\neq\emptyset$.
 A: This answer corresponds to an earlier version of the question:
No, it is not possible. Given $\{A_{ij}\}_{i,j=1}^\infty$ and $\{B_{ij}\}_{i,j=1}^\infty$ satisfying (1) and (4), construct sequences $\{i_k\}_{k=1}^\infty$ and $\{j_k\}_{k=1}^\infty$ violating (5) as follows: for each positive integer $n$, use (4) $n$ times to find $l_1,m_1,\dots,l_n,m_n$ such that $A_{k1} \cap B_{nl_k}=B_{k1}\cap A_{nm_k}=\emptyset$ for $k=1,\dots,n$, then let $i_n=max\{m_1,\dots,m_n\}$ and $j_n=max\{l_1,\dots,l_n\}$.
A: I found the contruction satisfying the properties above do not exist.Suppose for any positive integer $k$,the positive integers $i_k$,$j_k$ satisfy there exist sequences of positive integers $\{i_{k,s}\}$ and $\{j_{k,s}\}$ such that $A_{k,i_k}\bigcap (\bigcup_{s=1}^\infty B_{s,i_{k,s}})=\emptyset$ and $B_{kj_k}\bigcap (\bigcup _{s=1}^\infty A_{sj_{k,s}})=\emptyset$.
Then consider $\{C_{k,i}=A_{k,i_k+i-1}\}_{k,i=1}^\infty$ and $\{D_{k,i}=B_{k,j_k+i-1}\}_{k,i=1}^\infty$,they satisfy:
$(1)$For any positive integer $k\geq1$,$C_{k,i}\searrow\emptyset$ and $D_{k,i}\searrow\emptyset$ as $j\to\infty$;
$(2)$For any positive integers $k,j$,there exist positive integers $i_1,i_2$ such that $C_{k,1}\bigcap D_{j,i_1}=\emptyset$ and $D_{k,1}\bigcap C_{j,i_2}=\emptyset$.
Then use Ramiro de la Vega's answer for my earlier version of the question and we can get it is impossible to construct the families of sets.
