いわゆるindependent familyを構成します．
集合SについてSの部分集合の族が独立集合系であるとは，その二つの交わらない有限な部分族について一方に属する任意の元に含まれ，他方の族の任意の元の補集合に含まれるような無限集合が存在するときにいう．
この記事では可算集合上の独立集合系を構成します．
この記事では独立集合系の存在を言うために，弱独立性，弱弱独立性，そして弱弱弱独立性の概念を導入して頑張ってます．
いわゆるindependent familyを構成します．
集合SについてSの部分集合の族が独立集合系であるとは，その二つの交わらない有限な部分族について一方に属する任意の元に含まれ，他方の族の任意の元の補集合に含まれるような無限集合が存在するときにいう．
この記事では可算集合上の独立集合系を構成します．
この記事では独立集合系の存在を言うために，弱独立性，弱弱独立性，そして弱弱弱独立性の概念を導入して頑張ってます．