%I#8 2023年12月26日08:33:49

%序号1,1,2,4,8,17,39,862085081304

%满足严格选择公理的非同构集系统的个数。

%集系统是有限非空集的有限集。集合系统的权重是其元素的基数之和。

%C选择公理说，给定任意一组非空集Y，可以从每个非空集中选择一个包含元素的集。严格版本要求该集合具有与Y相同的基数，这意味着不会多次选择任何元素。

%e a（1）=1到a（5）=17集合系统的非同构代表：

%电子{1}{12}{123}{1234}{12345}

%e{1}{2}{1}{23}{1{234}{1neneneep{2345}

%电子{2}{12}{12{34}{12neneneep{345}

%电子{1}{2}{3}{13}{23}{14}{234}

%电子{3}{123}{23}{123}

%e｛1｝｛2｝｛34｝｛4｝｛1234｝

%电子{1}{3}{23}{1}}{2}{345}

%e{1}{2}{3}{4}{1}{23}{45}

%电子{1}{24}{34}

%电子{1}{4}{234}

%e｛2｝｛13｝｛23｝

%电子{2}{3}{123}

%电子{3}{13}{23}

%电子{4}{12}{34}

%e{1}{2}{3}{45}

%e{1}{2}{4}{34}

%e{1}{2}{3}{4}{5}

%t表[Length[Select[bmp[n]，UnsameQ@@#&And@@UnsameQ@@@#&Select[Tuples[#]，UnnameQ@@#&]={}&]]，{n，0,10}]

%Y对于标记图，我们有A133686，补充A367867。

%Y对于未标记的图，我们有A134964，补充A140637。

%Y对于机顶盒系统，我们有A367902，补充A367903。

%Y这些机组系统的BII编号为A367906，与A367907相辅相成。

%Y补码为A368094，连接A368409。

%允许Y重复：A368098，等级A368100，补充A368097，等级A355529。

%Y A368187统计非此类型的最小多集分区。

%Y连接的外壳为A368410。

%这种类型的Y因子按A368414计算，补码为A368413。

%Y允许重复的边得到A368422，补充A368421。

%Y A000110统计集合部分，非同构A000041。

%Y A003465计数涵盖集合系统，未标记A055621。

%Y A007716统计连接的A007718非同构多集分区。

%Y A058891统计集合系统，未标记A000612，连接A323818。

%Y A283877统计连接的A300913非同构集合系统。

%Y参见A001055、A007717、A302545、A306005、A316983、A319560、A321194、A321405、A330223、A367769、A367901。

%K nonn，更多

%0、3

%A _Gus Wiseman_，2023年12月24日