A326944 -id:A326944 - cp's OEIS frontend

A001035 Number of partially ordered sets ("posets") with n labeled elements (or labeled acyclic transitive digraphs).

1, 1, 3, 19, 219, 4231, 130023, 6129859, 431723379, 44511042511, 6611065248783, 1396281677105899, 414864951055853499, 171850728381587059351, 98484324257128207032183, 77567171020440688353049939, 83480529785490157813844256579, 122152541250295322862941281269151, 241939392597201176602897820148085023

Offset: 0

N. J. A. Sloane

From Altug Alkan, Dec 22 2015: (Start)
a(p^k) == 1 (mod p) and a(n + p) == a(n + 1) (mod p) for all primes p.
a(0+19) == a(0+1) (mod 19) or a(19^1) == 1 (mod 19), that is, a(19) mod 19 = 1.
a(2+17) == a(2+1) (mod 17). So a(19) == 19 (mod 17), that is, a(19) mod 17 = 2.
a(6+13) == a(6+1) (mod 13). So a(19) == 6129859 (mod 13), that is, a(19) mod 13 = 8.
a(8+11) == a(8+1) (mod 11). So a(19) == 44511042511 (mod 11), that is, a(19) mod 11 = 1.
a(12+7) == a(12+1) (mod 7). So a(19) == 171850728381587059351 (mod 7), that is, a(19) mod 7 = 1.
a(14+5) == a(14+1) (mod 5). So a(19) == 77567171020440688353049939 (mod 5), that is, a(19) mod 5 = 4.
a(16+3) == a(16+1) (mod 3). So a(19) == 122152541250295322862941281269151 (mod 3), that is, a(19) mod 3 = 1.
a(17+2) == a(17+1) (mod 2). So a(19) mod 2 = 1.
In conclusion, a(19) is a number of the form 2*3*5*7*11*13*17*19*n - 1615151, that is, 9699690*n - 1615151.
Additionally, for n > 0, note that the last digit of a(n) has the simple periodic pattern: 1,3,9,9,1,3,9,9,1,3,9,9,...
(End)
Number of rank n sublattices of the Boolean algebra B_n. - Kevin Long, Nov 20 2018
a(n) is the number of n X n idempotent Boolean relation matrices (A121337) that have rank n. - Geoffrey Critzer, Aug 16 2023
a(19) == 163279579 (mod 232792560). - Didier Garcia, Feb 06 2025

			R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 1, Chap. 3, page 98, Fig. 3-1 shows the unlabeled posets with <= 4 points.
From _Gus Wiseman_, Aug 14 2019: (Start)
Also the number of T_0 topologies with n points. For example, the a(0) = 1 through a(3) = 19 topologies are:
  {}  {}{1}  {}{1}{12}     {}{1}{12}{123}
             {}{2}{12}     {}{1}{13}{123}
             {}{1}{2}{12}  {}{2}{12}{123}
                           {}{2}{23}{123}
                           {}{3}{13}{123}
                           {}{3}{23}{123}
                           {}{1}{2}{12}{123}
                           {}{1}{3}{13}{123}
                           {}{2}{3}{23}{123}
                           {}{1}{12}{13}{123}
                           {}{2}{12}{23}{123}
                           {}{3}{13}{23}{123}
                           {}{1}{2}{12}{13}{123}
                           {}{1}{2}{12}{23}{123}
                           {}{1}{3}{12}{13}{123}
                           {}{1}{3}{13}{23}{123}
                           {}{2}{3}{12}{23}{123}
                           {}{2}{3}{13}{23}{123}
                           {}{1}{2}{3}{12}{13}{23}{123}
(End)

G. Birkhoff, Lattice Theory, Amer. Math. Soc., 1961, p. 4.
Miklos Bona, editor, Handbook of Enumerative Combinatorics, CRC Press, 2015, page 427.
K. K.-H. Butler, A Moore-Penrose inverse for Boolean relation matrices, pp. 18-28 of Combinatorial Mathematics (Proceedings 2nd Australian Conf.), Lect. Notes Math. 403, 1974.
K. K.-H. Butler and G. Markowsky, Enumeration of finite topologies, Proc. 4th S-E Conf. Combin., Graph Theory, Computing, Congress. Numer. 8 (1973), 169-184.
K. K. H. Butler and G. Markowsky. "The number of partially ordered sets. I." Journal of Korean Mathematical Society 11.1 (1974).
S. D. Chatterji, The number of topologies on n points, Manuscript, 1966.
L. Comtet, Advanced Combinatorics, Reidel, 1974, pp. 60, 229.
M. Erné, Struktur- und Anzahlformeln für Topologien auf endlichen Mengen, PhD dissertation, Westfälische Wilhelms-Universität zu Münster, 1972.
M. Erné and K. Stege, The number of labeled orders on fifteen elements, personal communication.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 1, Chap. 3, pages 96ff; Vol. 2, Problem 5.39, p. 88.

Christian Bean, Émile Nadeau, Jay Pantone, and Henning Ulfarsson, Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding, The Electronic Journal of Combinatorics, Volume 31, Issue 3 (2024); arXiv preprint, arXiv:2312.07716 [math.CO], 2023.
Juliana Bowles and Marco B. Caminati, A Verified Algorithm Enumerating Event Structures, arXiv:1705.07228 [cs.LO], 2017.
G. Brinkmann and B. D. McKay, Posets on up to 16 Points, Order 19 (2) (2002) 147-179.
J. I. Brown and S. Watson, The number of complements of a topology on n points is at least 2^n (except for some special cases), Discr. Math., 154 (1996), 27-39.
K. K.-H. Butler, The number of partially ordered sets, Journal of Combinatorial Theory, Series B 13.3 (1972): 276-289.
K. K.-H. Butler and G. Markowsky, Enumeration of finite topologies, Proc. 4th S-E Conf. Combin., Graph Theory, Computing, Congress. Numer. 8 (1973), 169-184.
K. K.-H. Butler and G. Markowsky, Enumeration of finite topologies, Proc. 4th S-E Conf. Combin., Graph Theory, Computing, Congress. Numer. 8 (1973), 169-184. [Annotated scan of pages 180 and 183 only]
K. K.-H. Butler and G. Markowsky, The number of partially ordered sets. II., J. Korean Math. Soc 11 (1974): 7-17.
P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
S. D. Chatterji, The number of topologies on n points, Manuscript, 1966. [Annotated scanned copy]
Narendrakumar R. Dasre and Pritam Gujarathi, Approximating the Bounds for Number of Partially Ordered Sets with n Labeled Elements, Computing in Engineering and Technology, Advances in Intelligent Systems and Computing, Vol. 1025, Springer (Singapore 2019), 349-356.
M. Erné, Struktur- und Anzahlformeln für Topologien auf Endlichen Mengen, Manuscripta Math., 11 (1974), 221-259.
M. Erné, Struktur- und Anzahlformeln für Topologien auf Endlichen Mengen, Manuscripta Math., 11 (1974), 221-259. (Annotated scanned copy)
M. Erné and K. Stege, The number of partially ordered (labeled) sets, Preprint, 1989. (Annotated scanned copy)
M. Erné and K. Stege, Counting Finite Posets and Topologies, Order, 8 (1991), 247-265.
J. W. Evans, F. Harary and M. S. Lynn, On the computer enumeration of finite topologies, Commun. ACM, 10 (1967), 295-297, 313.
J. W. Evans, F. Harary and M. S. Lynn, On the computer enumeration of finite topologies, Commun. ACM, 10 (1967), 295-297, 313. [Annotated scanned copy]
S. R. Finch, Transitive relations, topologies and partial orders.
S. R. Finch, Transitive relations, topologies and partialorders, June 5, 2003. [Cached copy, with permission of the author]
Eldar Fischer, Johann A. Makowsky, and Vsevolod Rakita, MC-finiteness of restricted set partition functions, arXiv:2302.08265 [math.CO], 2023.
Didier Garcia, Proof of a(19) formula [in French].
Didier Garcia, Two conjectures concerning a(n) [in French].
Joël Gay and Vincent Pilaud, The weak order on Weyl posets, arXiv:1804.06572 [math.CO], 2018.
G. Grekos, Letter to N. J. A. Sloane, Oct 31 1994, with attachments.
J. Heitzig and J. Reinhold, The number of unlabeled orders on fourteen elements, Order 17 (2000) no. 4, 333-341.
Richard Kenyon, Maxim Kontsevich, Oleg Ogievetsky, Cosmin Pohoata, Will Sawin, and Senya Shlosman, The miracle of integer eigenvalues, arXiv:2401.05291 [math.CO], 2024. See p. 4.
Dongseok Kim, Young Soo Kwon, and Jaeun Lee, Enumerations of finite topologies associated with a finite graph, arXiv preprint arXiv:1206.0550 [math.CO], 2012. - From _N. J. A. Sloane_, Nov 09 2012
M. Y. Kizmaz, On The Number Of Topologies On A Finite Set, arXiv preprint arXiv:1503.08359 [math.NT], 2015.
D. J. Kleitman and B. L. Rothschild, Asymptotic enumeration of partial orders on a finite set, Trans. Amer. Math. Soc., 205 (1975) 205-220.
G. Kreweras, Dénombrement des ordres étagés, Discrete Math., 53 (1985), 147-149.
Institut f. Mathematik, Univ. Hanover, Erne/Heitzig/Reinhold papers.
Sami Lazaar, Houssem Sabri, and Randa Tahri, Structural and Numerical Studies of Some Topological Properties for Alexandroff Spaces, Bull. Iran. Math. Soc. (2021).
N. Lygeros and P. Zimmermann, Computation of P(14), the number of posets with 14 elements: 1.338.193.159.771.
G. Pfeiffer, Counting Transitive Relations, Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.2.
Bob Proctor, Chapel Hill Poset Atlas.
Y. Puri and T. Ward, Arithmetic and growth of periodic orbits, J. Integer Seqs., Vol. 4 (2001), #01.2.1.
Ivo Rosenberg, The number of maximal closed classes in the set of functions over a finite domain, J. Combinatorial Theory Ser. A 14 (1973), 1-7.
Ivo Rosenberg and N. J. A. Sloane, Correspondence, 1971.
D. Rusin, Further information and references. [Broken link]
D. Rusin, Further information and references. [Cached copy]
A. Shafaat, On the number of topologies definable for a finite set, J. Austral. Math. Soc., 8 (1968), 194-198.
N. J. A. Sloane, List of sequences related to partial orders, circa 1972.
N. J. A. Sloane, List of sequences related to partial orders, circa 1972.
N. J. A. Sloane, Classic Sequences.
Gus Wiseman, Hasse diagrams of the a(4) = 219 posets.
J. A. Wright, There are 718 6-point topologies, quasiorderings and transgraphs, Preprint, 1970. [Annotated scanned copy]
J. A. Wright, Letter to N. J. A. Sloane, Apr 06 1972, listing 18 sequences.
Index entries for sequences related to posets

Cf. A000798 (labeled topologies), A001930 (unlabeled topologies), A000112 (unlabeled posets), A006057.
Sequences in the Erné (1974) paper: A000798, A001035, A006056, A006057, A001929, A001927, A006058, A006059, A000110.
Cf. A316978, A319564, A326876, A326906, A326939, A326943, A326944, A326947.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
Table[Length[Select[Subsets[Subsets[Range[n]]],MemberQ[#,{}]&&MemberQ[#,Range[n]]&&UnsameQ@@dual[#]&&SubsetQ[#,Union@@@Tuples[#,2]]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}] (* Gus Wiseman, Aug 14 2019 *)

A000798(n) = Sum_{k=0..n} Stirling2(n,k)*a(k).
Related to A000112 by Erné's formulas: a(n+1) = -s(n, 1), a(n+2) = n*a(n+1) + s(n, 2), a(n+3) = binomial(n+4, 2)*a(n+2) - s(n, 3), where s(n, k) = sum(binomial(n+k-1-m, k-1)*binomial(n+k, m)*sum((m!)/(number of automorphisms of P)*(-(number of antichains of P))^k, P an unlabeled poset with m elements), m=0..n).
From Altug Alkan, Dec 22 2015: (Start)
a(p^k) == 1 (mod p) for all primes p and for all nonnegative integers k.
a(n + p) == a(n + 1) (mod p) for all primes p and for all nonnegative integers n.
If n = 1, then a(1 + p) == a(2) (mod p), that is, a(p + 1) == 3 (mod p).
If n = p, then a(p + p) == a(p + 1) (mod p), that is, a(2*p) == a(p + 1) (mod p).
In conclusion, a(2*p) == 3 (mod p) for all primes p.
(End)
a(n) = Sum_{k=0..n} Stirling1(n,k)*A000798(k). - Tian Vlasic, Feb 25 2022

a(15)-a(16) from Jobst Heitzig (heitzig(AT)math.uni-hannover.de), Jul 03 2000

a(17)-a(18) from Herman Jamke (hermanjamke(AT)fastmail.fm), Mar 02 2008

A000112 Number of partially ordered sets ("posets") with n unlabeled elements.

Original entry on oeis.org

1, 1, 2, 5, 16, 63, 318, 2045, 16999, 183231, 2567284, 46749427, 1104891746, 33823827452, 1338193159771, 68275077901156, 4483130665195087

Offset: 0

N. J. A. Sloane

Also number of fixed effects ANOVA models with n factors, which may be both crossed and nested.

			R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 1, Chap. 3, page 98, Fig. 3-1 (or 2nd. ed., Fig. 3.1, p. 243) shows the unlabeled posets with <= 4 points.
From _Gus Wiseman_, Aug 14 2019: (Start)
Also the number of unlabeled T_0 topologies with n points. For example, non-isomorphic representatives of the a(4) = 16 topologies are:
  {}{1}{12}{123}{1234}
  {}{1}{2}{12}{123}{1234}
  {}{1}{12}{13}{123}{1234}
  {}{1}{12}{123}{124}{1234}
  {}{1}{2}{12}{13}{123}{1234}
  {}{1}{2}{12}{123}{124}{1234}
  {}{1}{12}{13}{123}{124}{1234}
  {}{1}{2}{12}{13}{123}{124}{1234}
  {}{1}{2}{12}{13}{123}{134}{1234}
  {}{1}{2}{3}{12}{13}{23}{123}{1234}
  {}{1}{2}{12}{13}{24}{123}{124}{1234}
  {}{1}{12}{13}{14}{123}{124}{134}{1234}
  {}{1}{2}{3}{12}{13}{23}{123}{124}{1234}
  {}{1}{2}{12}{13}{14}{123}{124}{134}{1234}
  {}{1}{2}{3}{12}{13}{14}{23}{123}{124}{134}{1234}
  {}{1}{2}{3}{4}{12}{13}{14}{23}{24}{34}{123}{124}{134}{234}{1234}
(End)

G. Birkhoff, Lattice Theory, 1961, p. 4.
L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 60.
E. D. Cooper, Representation and generation of finite partially ordered sets, Manuscript, no date.
J. L. Davison, Asymptotic enumeration of partial orders. Proceedings of the seventeenth Southeastern international conference on combinatorics, graph theory, and computing (Boca Raton, Fla., 1986). Congr. Numer. 53 (1986), 277--286. MR0885256 (88c:06001)
E. N. Gilbert, A catalog of partially ordered systems, unpublished memorandum, Aug 08, 1961.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 1, Chap. 3, pages 96ff; Vol. I, 2nd. ed., Chap. 3, pp. 241ff; Vol. 2, Problem 5.39, p. 88.
For further references concerning the enumeration of topologies and posets see under A001035.

David Wasserman, Table of n, a(n) for n = 0..16
R. Bayon, N. Lygeros, and J.-S. Sereni, New progress in enumeration of mixed models, Applied Mathematics E-Notes, 5 (2005), 60-65.
R. Bayon, N. Lygeros, and J.-S. Sereni, Nouveaux progrès dans l'énumération des modèles mixtes, in Knowledge discovery and discrete mathematics: JIM'2003, INRIA, Université de Metz, France, 2003, pp. 243-246.
Gunnar Brinkmann and Brendan D. McKay, Counting unlabeled topologies and transitive relations.
G. Brinkmann and B. D. McKay, Counting unlabeled topologies and transitive relations, J. Integer Sequences, Volume 8, 2005.
G. Brinkmann and B. D. McKay, Posets on up to 16 Points [On Brendan McKay's home page]
G. Brinkmann and B. D. McKay, Posets on up to 16 Points, Order 19 (2) (2002) 147-179.
Kim Ki-Hang Butler, The number of partially ordered sets, Journal of Combinatorial Theory, Series B 13.3 (1972): 276-289.
K. K.-H. Butler and G. Markowsky, Enumeration of finite topologies, Proc. 4th S-E Conf. Combin., Graph Theory, Computing, Congress. Numer. 8 (1973), 169-184
K. K.-H. Butler and G. Markowsky, Enumeration of finite topologies, Proc. 4th S-E Conf. Combin., Graph Theory, Computing, Congress. Numer. 8 (1973), 169-184. [Annotated scan of pages 180 and 183 only]
Kim Ki-Hang Butler and Gaoacs Markowsky. The number of partially ordered sets. II., J. Korean Math. Soc 11 (1974): 7-17.
P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
C. Chaunier, Letter to N. J. A. Sloane, Jun 22 1993, with several attachments
C. Chaunier and N. Lygeros, The Number of Orders with Thirteen Elements, Order 9:3 (1992) 203-204. [See Chaunier letter]
C. Chaunier and N. Lygeros, Le nombre de posets à isomorphie près ayant 12 éléments Theoretical Computer Science, 123 p. 89-94, 1994.
C. Chaunier and N. Lygeros, Progrès dans l'énumération des posets, C. R. Acad. Sci. Paris 314 série I (1992) 691-694. [See Chaunier letter]
E. D. Cooper, Representation and generation of finite partially ordered sets, Manuscript, no date [Annotated scanned copy]
Gábor Czédli, Minimum-sized generating sets of the direct powers of free distributive lattices, arXiv:2309.13783 [math.CO], 2023. See p. 14. See also CUBO, A Mathematical Journal, Vol. 26, no. 2, pp. 217-237, August 2024.
M. Erné and K. Stege, The number of partially ordered (labeled) sets, Preprint, 1989. (Annotated scanned copy)
Uli Fahrenberg, Christian Johansen, Georg Struth, and Ratan Bahadur Thapa, Generating Posets Beyond N, arXiv:1910.06162 [cs.FL], 2019.
S. R. Finch, Transitive relations, topologies and partial orders, June 5, 2003. [Cached copy, with permission of the author]
FindStat - Combinatorial Statistic Finder, Posets
R. Fraisse and N. Lygeros, Petits posets: dénombrement, représentabilité par cercles et compenseurs C. R. Acad. Sci. Paris, 313, I, 417-420, 1991.
E. N. Gilbert, A catalog of partially ordered systems, unpublished memorandum, Aug 08, 1961. [Annotated scanned copy]
G. Grekos, Letter to N. J. A. Sloane, Oct 31 1994, with attachments
M. Guay-Paquet, A modular relation for the chromatic symmetric functions of (3+1)-free posets, arXiv preprint arXiv:1306.2400 [math.CO], 2013.
Ann Marie Hess, Mixed Models Site
C. Joslyn, E. Hogan, and A. Pogel, Conjugacy and Iteration of Standard Interval Rank in Finite Ordered Sets, arXiv preprint arXiv:1409.6684 [math.CO], 2014.
Dongseok Kim, Young Soo Kwon, and Jaeun Lee, Enumerations of finite topologies associated with a finite graph, arXiv preprint arXiv:1206.0550 [math.CO], 2012.
D. J. Kleitman and B. L. Rothschild, Asymptotic enumeration of partial orders on a finite set, Trans. Amer. Math. Soc., 205 (1975) 205-220.
N. Lygeros, Calculs exhaustifs sur les posets d'au plus 7 éléments, SINGULARITE, vol. 2 n4 p. 10-24, avril 1991.
N. Lygeros and P. Zimmermann, Computation of P(14), the number of posets with 14 elements: 1.338.193.159.771
G. Pfeiffer, Counting Transitive Relations, Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.2.
Bob Proctor, Chapel Hill Poset Atlas
D. Rusin, Further information and references [Broken link]
D. Rusin, Further information and references [Cached copy]
Henry Sharp, Jr., Quasi-orderings and topologies on finite sets, Proceedings of the American Mathematical Society 17.6 (1966): 1344-1349. [Annotated scanned copy]
N. J. A. Sloane, List of sequences related to partial orders, circa 1972
N. J. A. Sloane, Classic Sequences
Peter Steinbach, Field Guide to Simple Graphs, Volume 4, Part 10 (For Volumes 1, 2, 3, 4 of this book see A000088, A008406, A000055, A000664, respectively.)
Szilárd Szalay, The classification of multipartite quantum correlation, arXiv:1806.04392 [quant-ph], 2018.
N. L. White, Two letters to N. J. A. Sloane, 1970, with hand-drawn enclosure
J. A. Wright, There are 718 6-point topologies, quasiorderings and transgraphs, Preprint, 1970 [Annotated scanned copy]
J. A. Wright, Two related abstracts, 1970 and 1972 [Annotated scanned copies]
J. A. Wright, Letter to N. J. A. Sloane, Apr 06 1972, listing 18 sequences
Stav Zalel, Covariant Growth Dynamics, arXiv:2302.10582 [gr-qc], 2023.
Index entries for sequences related to posets
Index entries for "core" sequences

Cf. A000798 (labeled topologies), A001035 (labeled posets), A001930 (unlabeled topologies), A006057.
Cf. A079263, A079265, A065066 (refined by maximal elements), A342447 (refined by number of arcs).
Row sums of A263859. Euler transform of A000608.
Cf. A316978, A319559, A326939, A326943, A326944, A326947.

a(15)-a(16) are from Brinkmann's and McKay's paper. - Vladeta Jovovic, Jan 04 2006

A245567 Number of antichain covers of a labeled n-set such that for every two distinct elements in the n-set, there is a set in the antichain cover containing one of the elements but not the other.

Original entry on oeis.org

2, 1, 1, 5, 76, 5993, 7689745, 2414465044600, 56130437141763247212112, 286386577668298408602599478477358234902247

Offset: 0

Patrick De Causmaecker, Jul 25 2014

This is the number of antichain covers such that the induced partition contains only singletons. The induced partition of {{1,2},{2,3},{1,3},{3,4}} is {{1},{2},{3},{4}}, while the induced partition of {{1,2,3},{2,3,4}} is {{1},{2,3},{4}}.
This sequence is related to A006126. See 1st formula.
The sequence is also related to Dedekind numbers through Stirling numbers of the second kind. See 2nd formula.
Sets of subsets of the described type are said to be T_0. - Gus Wiseman, Aug 14 2019

			For n = 0, a(0) = 2 by the antisets {}, {{}}.
For n = 1, a(1) = 1 by the antiset {{1}}.
For n = 2, a(2) = 1 by the antiset {{1},{2}}.
For n = 3, a(3) = 5 by the antisets {{1},{2},{3}}, {{1,2},{1,3}}, {{1,2},{2,3}}, {{1,3},{2,3}}, {{1,2},{1,3},{2,3}}.

Patrick De Causmaecker and Stefan De Wannemacker, On the number of antichains of sets in a finite universe, arXiv:1407.4288 [math.CO], 2014.

Cf. A000372 (Dedekind numbers), A006126 (Number of antichain covers of a labeled n-set).
Sequences counting and ranking T_0 structures:
  A000112 (unlabeled topologies),
  A001035 (topologies),
  A059201 (covering set-systems),
  A245567 (antichain covers),
  A309615 (covering set-systems closed under intersection),
  A316978 (factorizations),
  A319559 (unlabeled set-systems by weight),
  A319564 (integer partitions),
  A319637 (unlabeled covering set-systems),
  A326939 (covering sets of subsets),
  A326940 (set-systems),
  A326941 (sets of subsets),
  A326943 (covering sets of subsets closed under intersection),
  A326944 (covering sets of subsets with {} and closed under intersection),
  A326945 (sets of subsets closed under intersection),
  A326946 (unlabeled set-systems),
  A326947 (BII-numbers of set-systems),
  A326948 (connected set-systems),
  A326949 (unlabeled sets of subsets),
  A326950 (antichains),
  A326959 (set-systems closed under intersection),
  A327013 (unlabeled covering set-systems closed under intersection),
  A327016 (BII-numbers of topologies).

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Table[Length[Select[Subsets[Subsets[Range[n]]],Union@@#==Range[n]&&stableQ[#,SubsetQ]&&UnsameQ@@dual[#]&]],{n,0,3}] (* Gus Wiseman, Aug 14 2019 *)

A000372(n) = Sum_{k=0..n} S(n+1,k+1)*a(k).
a(n) = A006126(n) - Sum_{k=1..n-1} S(n,k)*a(k).
Were n > 0 and S(n,k) is the number of ways to partition a set of n elements into k nonempty subsets.
Inverse binomial transform of A326950, if we assume a(0) = 1. - Gus Wiseman, Aug 14 2019

Definition corrected by Patrick De Causmaecker, Oct 10 2014

a(9), based on A000372, from Patrick De Causmaecker, Jun 01 2023

A326945 Number of T_0 sets of subsets of {1..n} that are closed under intersection.

Original entry on oeis.org

2, 4, 12, 96, 4404, 2725942, 151906396568, 28175293281055562650

Offset: 0

Gus Wiseman, Aug 08 2019

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).

			The a(0) = 2 through a(2) = 12 sets of subsets:
  {}    {}        {}
  {{}}  {{}}      {{}}
        {{1}}     {{1}}
        {{},{1}}  {{2}}
                  {{},{1}}
                  {{},{2}}
                  {{1},{1,2}}
                  {{2},{1,2}}
                  {{},{1},{2}}
                  {{},{1},{1,2}}
                  {{},{2},{1,2}}
                  {{},{1},{2},{1,2}}

The non-T_0 version is A102897.
The version not closed under intersection is A326941.
The covering case is A326943.
The case without empty edges is A326959.
Cf. A003180, A182507, A316978, A319564, A326906, A326939, A326940, A326944, A326947.

Table[Length[Select[Subsets[Subsets[Range[n]]],UnsameQ@@dual[#]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}]

Binomial transform of A326943.

a(5)-a(7) from Andrew Howroyd, Aug 14 2019

A309615 Number of T_0 set-systems covering n vertices that are closed under intersection.

Original entry on oeis.org

1, 1, 2, 12, 232, 19230, 16113300, 1063117943398, 225402329237199496416

Offset: 0

Gus Wiseman, Aug 11 2019

First differs from A182507 at a(5) = 19230, A182507(5) = 12848.

A set-system is a finite set of finite nonempty sets. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges 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).

			The a(0) = 1 through a(3) = 12 set-systems:
  {}  {{1}}  {{1},{1,2}}  {{1},{1,2},{1,3}}
             {{2},{1,2}}  {{2},{1,2},{2,3}}
                          {{3},{1,3},{2,3}}
                          {{1},{1,2},{1,2,3}}
                          {{1},{1,3},{1,2,3}}
                          {{2},{1,2},{1,2,3}}
                          {{2},{2,3},{1,2,3}}
                          {{3},{1,3},{1,2,3}}
                          {{3},{2,3},{1,2,3}}
                          {{1},{1,2},{1,3},{1,2,3}}
                          {{2},{1,2},{2,3},{1,2,3}}
                          {{3},{1,3},{2,3},{1,2,3}}

The version with empty edges allowed is A326943.

Cf. A003465, A059052, A059201, A319637, A326880, A326881, A326901, A326902, A326905, A326944, A326945.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],Union@@#==Range[n]&&UnsameQ@@dual[#]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}]

a(n) = A326943(n) - A326944(n).
a(n) = Sum_{k = 1..n} s(n,k) * A326901(k - 1) where s = A048994.
a(n) = Sum_{k = 1..n} s(n,k) * A326902(k) where s = A048994.

A326959 Number of T_0 set-systems covering a subset of {1..n} that are closed under intersection.

Original entry on oeis.org

1, 2, 5, 22, 297, 20536, 16232437, 1063231148918, 225402337742595309857

Offset: 0

Gus Wiseman, Aug 13 2019

			The a(0) = 1 through a(3) = 22 set-systems:
  {}  {}     {}           {}
      {{1}}  {{1}}        {{1}}
             {{2}}        {{2}}
             {{1},{1,2}}  {{3}}
             {{2},{1,2}}  {{1},{1,2}}
                          {{1},{1,3}}
                          {{2},{1,2}}
                          {{2},{2,3}}
                          {{3},{1,3}}
                          {{3},{2,3}}
                          {{1},{1,2},{1,3}}
                          {{2},{1,2},{2,3}}
                          {{3},{1,3},{2,3}}
                          {{1},{1,2},{1,2,3}}
                          {{1},{1,3},{1,2,3}}
                          {{2},{1,2},{1,2,3}}
                          {{2},{2,3},{1,2,3}}
                          {{3},{1,3},{1,2,3}}
                          {{3},{2,3},{1,2,3}}
                          {{1},{1,2},{1,3},{1,2,3}}
                          {{2},{1,2},{2,3},{1,2,3}}
                          {{3},{1,3},{2,3},{1,2,3}}

The covering case is A309615.
T_0 set-systems are A326940.
The version with empty edges allowed is A326945.
Cf. A051185, A058891, A059201, A316978, A319559, A309615, A319637, A326943, A326944, A326946, A326947, A326959.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],UnsameQ@@dual[#]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}]

Binomial transform of A309615.

a(5)-a(8) from Andrew Howroyd, Aug 14 2019

A334252 Number of closure operators on a set of n elements which satisfy the T_0 separation axiom.

Original entry on oeis.org

1, 2, 5, 44, 2179, 1362585, 75953166947, 14087646640499308474

Offset: 0

Joshua Moerman, Apr 20 2020

The T_0 axiom states that the closure of {x} and {y} are different for distinct x and y.

			The a(0) = 1 through a(2) = 5 set-systems of closed sets:
{{}}  {{}}      {{1,2},{1}}
      {{1},{}}  {{1,2},{2}}
                {{1,2},{1},{}}
                {{1,2},{2},{}}
                {{1,2},{1},{2},{}}

R. S. R. Myers, J. Adámek, S. Milius, and H. Urbat, Coalgebraic constructions of canonical nondeterministic automata, Theoretical Computer Science, 604 (2015), 81-101.
B. Venkateswarlu and U. M. Swamy, T_0-Closure Operators and Pre-Orders, Lobachevskii Journal of Mathematics, 39 (2018), 1446-1452.

The number of all closure operators is given in A102896.
For strict T0 closure operators, see A334253.
For T1 closure operators, see A334254.
Cf. A326943, A326944, A326945.

a(n) = Sum_{k=0..n} Stirling1(n,k) * A102896(k). - Andrew Howroyd, Apr 20 2020

a(6)-a(7) from Andrew Howroyd, Apr 20 2020

A334253 Number of strict closure operators on a set of n elements which satisfy the T_0 separation axiom.

Original entry on oeis.org

1, 1, 3, 35, 2039, 1352390, 75945052607, 14087646108883940225

Offset: 0

Joshua Moerman, Apr 20 2020

The T_0 axiom states that the closure of {x} and {y} are different for distinct x and y.

A closure operator is strict if the empty set is closed.

			The a(0) = 1 through a(2) = 3 set-systems of closed sets:
{{}}  {{1},{}}  {{1,2},{1},{}}
                {{1,2},{2},{}}
                {{1,2},{1},{2},{}}

R. S. R. Myers, J. Adámek, S. Milius, and H. Urbat, Coalgebraic constructions of canonical nondeterministic automata, Theoretical Computer Science, 604 (2015), 81-101.
B. Venkateswarlu and U. M. Swamy, T_0-Closure Operators and Pre-Orders, Lobachevskii Journal of Mathematics, 39 (2018), 1446-1452.

The number of all strict closure operators is given in A102894.
For all T0 closure operators, see A334252.
For strict T1 closure operators, see A334255.
A strict closure operator which preserves unions is called topological, see A001035.
Cf. A326943, A326944, A326945.

a(n) = Sum_{k=0..n} Stirling1(n,k) * A102894(k). - Andrew Howroyd, Apr 20 2020

a(6)-a(7) from Andrew Howroyd, Apr 20 2020

A327013 Number of non-isomorphic T_0 set-systems covering a subset of {1..n} that are closed under intersection.

Original entry on oeis.org

1, 2, 3, 6, 23, 282, 28033

Offset: 0

Gus Wiseman, Dec 10 2019

			Non-isomorphic representatives of the a(1) = 2 through a(4) = 23 set-systems:
    0    0        0                 0
    {1}  {1}      {1}               {1}
         {1}{12}  {1}{12}           {1}{12}
                  {1}{12}{13}       {1}{12}{13}
                  {1}{12}{123}      {1}{12}{123}
                  {1}{12}{13}{123}  {1}{12}{13}{14}
                                    {1}{12}{13}{123}
                                    {1}{12}{13}{124}
                                    {1}{12}{123}{124}
                                    {1}{12}{13}{1234}
                                    {1}{12}{123}{1234}
                                    {1}{12}{13}{14}{123}
                                    {1}{12}{13}{123}{124}
                                    {1}{12}{13}{14}{1234}
                                    {1}{12}{13}{123}{1234}
                                    {1}{12}{13}{124}{1234}
                                    {1}{12}{123}{124}{1234}
                                    {1}{12}{13}{14}{123}{124}
                                    {1}{12}{13}{14}{123}{1234}
                                    {1}{12}{13}{123}{124}{1234}
                                    {1}{12}{13}{14}{123}{124}{134}
                                    {1}{12}{13}{14}{123}{124}{1234}
                                    {1}{12}{13}{14}{123}{124}{134}{1234}

The labeled version is A326959.
T_0 set-systems are A326940.
Cf. A051185, A059201, A319559, A309615, A319637, A326944, A326945, A326946.

a(5)-a(6) from Andrew Howroyd, Dec 21 2019

cp's OEIS Frontend

A001035 Number of partially ordered sets ("posets") with n labeled elements (or labeled acyclic transitive digraphs).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A000112 Number of partially ordered sets ("posets") with n unlabeled elements.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Extensions

A245567 Number of antichain covers of a labeled n-set such that for every two distinct elements in the n-set, there is a set in the antichain cover containing one of the elements but not the other.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A326945 Number of T_0 sets of subsets of {1..n} that are closed under intersection.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A309615 Number of T_0 set-systems covering n vertices that are closed under intersection.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A326959 Number of T_0 set-systems covering a subset of {1..n} that are closed under intersection.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A334252 Number of closure operators on a set of n elements which satisfy the T_0 separation axiom.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A334253 Number of strict closure operators on a set of n elements which satisfy the T_0 separation axiom.

Views