This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A326944 #11 Aug 15 2019 15:29:04 %S A326944 1,1,4,58,3846,2685550,151873991914,28175291154649937052 %N A326944 Number of T_0 sets of subsets of {1..n} that cover all n vertices, contain {}, and are closed under intersection. %C A326944 The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. The T_0 condition means that the dual is strict (no repeated edges). %F A326944 a(n) = Sum_{k=0..n} Stirling1(n,k)*A326881(k). - _Andrew Howroyd_, Aug 14 2019 %e A326944 The a(0) = 1 through a(2) = 4 sets of subsets: %e A326944 {{}} {{},{1}} {{},{1},{2}} %e A326944 {{},{1},{1,2}} %e A326944 {{},{2},{1,2}} %e A326944 {{},{1},{2},{1,2}} %t A326944 dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}]; %t A326944 Table[Length[Select[Subsets[Subsets[Range[n]]],MemberQ[#,{}]&&Union@@#==Range[n]&&UnsameQ@@dual[#]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}] %Y A326944 The version not closed under intersection is A059201. %Y A326944 The non-T_0 version is A326881. %Y A326944 The version where {} is not necessarily an edge is A326943. %Y A326944 Cf. A003181, A003465, A055621, A182507, A245567, A316978, A319564, A326906, A326939, A326941, A326945, A326947. %K A326944 nonn,more %O A326944 0,3 %A A326944 _Gus Wiseman_, Aug 08 2019 %E A326944 a(5)-a(7) from _Andrew Howroyd_, Aug 14 2019