タグ: 集合族

集合族（元がすべて集合である集合：集合の集合） がすべて集合の部分集合であるとき、それらを集めてできる集合も集合族である。つまり、とは、それぞれおよびと同義である。例えば、 のとき、となる。