A326880 -id:A326880 - cp's OEIS frontend

A102896 Number of ACI algebras (or semilattices) on n generators with no annihilator.

1, 2, 7, 61, 2480, 1385552, 75973751474, 14087648235707352472

Offset: 0

Mitch Harris, Jan 18 2005

Or, number of Moore families on an n-set, that is, families of subsets that contain the universal set {1,...,n} and are closed under intersection.
Or, number of closure operators on a set of n elements.
An ACI algebra or semilattice is a system with a single binary, idempotent, commutative and associative operation.
Also the number of set-systems on n vertices that are closed under union. The BII-numbers of these set-systems are given by A326875. - Gus Wiseman, Jul 31 2019
From Bernhard Ganter, Jul 08 2025: (Start)
Also the number of union-free families of subsets of an n-set; i.e., families of nonempty sets on n elements such that no set is a union of some others.
Also the number of intersection-free families of subsets of an n-set; i.e., of families of proper subsets on n elements such that no set is an intersection of some others.
(Note that every union-free family on an n-set is the set of union-irreducible elements of exactly one union-closed family, and each family of union-irreducible elements is union-free. Same for intersection.) (End)

			From _Gus Wiseman_, Jul 31 2019: (Start)
The a(0) = 1 through a(2) = 7 set-systems closed under union:
  {}  {}     {}
      {{1}}  {{1}}
             {{2}}
             {{1,2}}
             {{1},{1,2}}
             {{2},{1,2}}
             {{1},{2},{1,2}}
(End)

G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967.
Maria Paola Bonacina and Nachum Dershowitz, Canonical Inference for Implicational Systems, in Automated Reasoning, Lecture Notes in Computer Science, Volume 5195/2008, Springer-Verlag.
P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010). [From Pierre Colomb (pierre(AT)colomb.me), Sep 04 2010]
E. H. Moore, Introduction to a Form of General Analysis, AMS Colloquium Publication 2 (1910), pp. 53-80.

Andrew J. Blumberg, Michael A. Hill, Kyle Ormsby, Angélica M. Osorno, and Constanze Roitzheim, Homotopical Combinatorics, Notices Amer. Math. Soc. (2024) Vol. 71, No. 2, 260-266. See p. 261.
Daniel Borchmann and Bernhard Ganter, Concept Lattice Orbifolds - First Steps, Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), 22-37.
Jishnu Bose, Tien Chih, Hannah Housden, Legrand Jones II, Chloe Lewis, Kyle Ormsby, and Millie Rose, Combinatorics of factorization systems on lattices, arXiv:2503.22883 [math.CO], 2025. See p. 11.
Pierre Colomb, Alexis Irlande, Olivier Raynaud and Yoan Renaud, About the Recursive Decomposition of the lattice of co-Moore Families, ICFCA 2011.
Pierre Colomb, Alexis Irlande, Olivier Raynaud, and Yoan Renaud, Recursive decomposition tree of a Moore co-family and closure algorithm, Annals of Mathematics and Artificial Intelligence, 2013, DOI 10.1007/s10472-013-9362-x.
Nachum Dershowitz, Mitchell A. Harris, and Guan-Shieng Huang, Enumeration Problems Related to Ground Horn Theories, arXiv:cs/0610054v2 [cs.LO], 2006-2008.
Michel Habib and Lhouari Nourine, The number of Moore families on n = 6, Discrete Math., 294 (2005), 291-296.
Caoilainn Kirkpatrick, Amelie el Mahmoud, Kyle Ormsby, Angélica M. Osorno, Dale Schandelmeier-Lynch, Riley Shahar, Lixing Yi, Avery Young, and Saron Zhu, Enumerating submonoids of finite commutative monoids, arXiv:2508.20786 [math.CO], 2025. See p. 16.

For set-systems closed under union:
- The covering case is A102894.
- The unlabeled case is A193674.
- The case also closed under intersection is A306445.
- Set-systems closed under overlapping union are A326866.
- The BII-numbers of these set-systems are given by A326875.
Cf. A102895, A102897, A108798, A108800, A193675, A000798, A014466, A326878, A326880, A326881.

Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],SubsetQ[#,Union@@@Tuples[#,2]]&]],{n,0,3}] (* Gus Wiseman, Jul 31 2019 *)

a(n) = Sum_{k=0..n} C(n, k)*A102894(k), where C(n, k) is the binomial coefficient.
For asymptotics see A102897.
a(n) = A102897(n)/2. - Gus Wiseman, Jul 31 2019

N. J. A. Sloane added a(6) from the Habib et al. reference, May 26 2005
Additional comments from Don Knuth, Jul 01 2005
a(7) from Pierre Colomb (pierre(AT)colomb.me), Sep 04 2010

A102894 Number of ACI algebras or semilattices on n generators, with no identity or annihilator.

Original entry on oeis.org

1, 1, 4, 45, 2271, 1373701, 75965474236, 14087647703920103947

Offset: 0

Mitch Harris, Jan 18 2005

Or, number of families of subsets of {1, ..., n} that are closed under intersection and contain both the universe and the empty set.
An ACI algebra or semilattice is a system with a single binary, idempotent, commutative and associative operation.
Also the number of set-systems covering n vertices that are closed under union. The BII-numbers of these set-systems are given by A326875. - Gus Wiseman, Aug 01 2019
Number of strict closure operators on a set of n elements, where the closure operator is said to be strict if the empty set is closed. - Tian Vlasic, Jul 30 2022

			From _Gus Wiseman_, Aug 01 2019: (Start)
The a(3) = 45 set-systems with {} and {1,2,3} that are closed under intersection are the following ({} and {1,2,3} not shown). The BII-numbers of these set-systems are given by A326880.
0   {1}   {1}{2}   {1}{2}{3}    {1}{2}{3}{12}   {1}{2}{3}{12}{13}
    {2}   {1}{3}   {1}{2}{12}   {1}{2}{3}{13}   {1}{2}{3}{12}{23}
    {3}   {2}{3}   {1}{2}{13}   {1}{2}{3}{23}   {1}{2}{3}{13}{23}
    {12}  {1}{12}  {1}{2}{23}   {1}{2}{12}{13}
    {13}  {1}{13}  {1}{3}{12}   {1}{2}{12}{23}
    {23}  {1}{23}  {1}{3}{13}   {1}{3}{12}{13}        {1}{2}{3}{12}{13}{23}
          {2}{12}  {1}{3}{23}   {1}{3}{13}{23}
          {2}{13}  {2}{3}{12}   {2}{3}{12}{23}
          {2}{23}  {2}{3}{13}   {2}{3}{13}{23}
          {3}{12}  {2}{3}{23}
          {3}{13}  {1}{12}{13}
          {3}{23}  {2}{12}{23}
                   {3}{13}{23}
(End)

G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967.
Maria Paola Bonacina and Nachum Dershowitz, Canonical Inference for Implicational Systems, in Automated Reasoning, Lecture Notes in Computer Science, Volume 5195/2008, Springer-Verlag.
E. H. Moore, Introduction to a Form of General Analysis, AMS Colloquium Publication 2 (1910), pp. 53-80.

Maria Paola Bonacina and Nachum Dershowitz, Canonical ground Horn theories, Lecture Notes in Computer Science 7797, 35-71 (2013).
P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010).
N. Dershowitz, G. S. Huang and M. Harris, Enumeration Problems Related to Ground Horn Theories, arXiv:cs/0610054v2 [cs.LO], 2006-2008.
Christopher S. Flippen, Minimal Sets, Union-Closed Families, and Frankl's Conjecture, Master's thesis, Virginia Commonwealth Univ., 2023.
M. Habib and L. Nourine, The number of Moore families on n = 6, Discrete Math., 294 (2005), 291-296.

Regarding set-systems covering n vertices closed under union:
- The non-covering case is A102896.
- The BII-numbers of these set-systems are A326875.
- The case with intersection instead of union is A326881.
- The unlabeled case is A108798.
Cf. A003465, A072447, A102895, A102897, A108800, A193674, A193675, A306445, A326870, A326880, A326883.

Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],Union@@#==Range[n]&&SubsetQ[#,Union@@@Tuples[#,2]]&]],{n,0,3}] (* Gus Wiseman, Aug 01 2019 *)

Inverse binomial transform of A102896.

For asymptotics see A102897.

Additional comments from Don Knuth, Jul 01 2005

A102895 Number of ACI algebras or semilattices on n generators with no identity element.

Original entry on oeis.org

1, 2, 8, 90, 4542, 2747402, 151930948472, 28175295407840207894

Offset: 0

Mitch Harris, Jan 18 2005

An ACI algebra or semilattice is a system with a single binary, idempotent, commutative and associative operation.

Or, number of families of subsets of {1, ..., n} that are closed under intersection and contain the empty set.

			a(2) = 8: Let the points be labeled a, b and let 0 denote the empty set. We want the number of collections of subsets of {a, b} which are closed under intersection and contain the empty subset. 0 subsets: 0 ways, 1 subset: 1 way (0), 2 subsets: 3 ways (0,a; 0,b; 0,ab), 3 subsets: 3 ways (0,a,b; 0,a,ab; 0,b,ab), 4 subsets: 1 way (0,a,b,ab), for a total of 8.
From _Gus Wiseman_, Aug 02 2019: (Start)
The a(0) = 1 through a(2) = 8 sets of sets with {} that are closed under intersection are:
  {{}}  {{}}      {{}}
        {{},{1}}  {{},{1}}
                  {{},{2}}
                  {{},{1,2}}
                  {{},{1},{2}}
                  {{},{1},{1,2}}
                  {{},{2},{1,2}}
                  {{},{1},{2},{1,2}}
(End)

G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967.
Maria Paola Bonacina and Nachum Dershowitz, Canonical Inference for Implicational Systems, in Automated Reasoning, Lecture Notes in Computer Science, Volume 5195/2008, Springer-Verlag.
P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010)
E. H. Moore, Introduction to a Form of General Analysis, AMS Colloquium Publication 2 (1910), pp. 53-80.

N. Dershowitz, G. S. Huang and M. Harris, Enumeration Problems Related to Ground Horn Theories, arXiv:cs/0610054v2 [cs.LO], 2006-2008.
M. Habib and L. Nourine, The number of Moore families on n = 6, Discrete Math., 294 (2005), 291-296.

The connected case (i.e., with maximum) is A102894.
The same for union instead of intersection is A102896.
The unlabeled version is A108800.
The case also closed under union is A326878.
The BII-numbers of these set-systems (without the empty set) are A326880.
The covering case is A326881.
Cf. A000798, A102897, A108798, A193674, A193675, A306445, A326883.

Table[Length[Select[Subsets[Subsets[Range[n]]],MemberQ[#,{}]&&SubsetQ[#,Intersection@@@Tuples[#,2]]&]],{n,0,3}] (* Gus Wiseman, Aug 02 2019 *)

For asymptotics see A102897.

a(n > 0) = 2 * A102894(n).

Additional comments from Don Knuth, Jul 01 2005

Changed a(0) from 2 to 1 by Gus Wiseman, Aug 02 2019

A102897 Number of ACI algebras (or semilattices) on n generators.

Original entry on oeis.org

2, 4, 14, 122, 4960, 2771104, 151947502948, 28175296471414704944

Offset: 0

Mitch Harris, Jan 18 2005

Also counts Horn functions on n variables, Boolean functions whose set of truth assignments are closed under 'and', or equivalently, the Boolean functions that can be written as a conjunction of Horn clauses, clauses with at most one negative literal.
Also, number of families of subsets of {1,...,n} that are closed under intersection (because we can throw in the universe, or take it out, without affecting anything else).
An ACI algebra or semilattice is a system with a single binary, idempotent, commutative and associative operation.
Also the number of finite sets of finite subsets of {1..n} that are closed under union. - Gus Wiseman, Aug 03 2019

			a(2) = 14: Let the points be labeled a, b. We want the number of collections of subsets of {a, b} which are closed under intersection. 0 subsets: 1 way ({}), 1 subset: 4 ways (0; a; b; ab), 2 subsets: 5 ways (0,a; 0,b; 0,ab; a,ab; b,ab) [not a,b because their intersection, 0, would be missing], 3 subsets: 3 ways (0,a,b; 0,a,ab; 0,b,ab), 4 subsets: 1 way (0,a,b,ab), for a total of 14.
From _Gus Wiseman_, Aug 03 2019: (Start)
The a(0) = 2 through a(2) = 14 sets of subsets closed under union:
  {}    {}        {}
  {{}}  {{}}      {{}}
        {{1}}     {{1}}
        {{},{1}}  {{2}}
                  {{1,2}}
                  {{},{1}}
                  {{},{2}}
                  {{},{1,2}}
                  {{1},{1,2}}
                  {{2},{1,2}}
                  {{},{1},{1,2}}
                  {{},{2},{1,2}}
                  {{1},{2},{1,2}}
                  {{},{1},{2},{1,2}}
(End)

V. B. Alekseev, On the number of intersection semilattices [in Russian], Diskretnaya Mat. 1 (1989), 129-136.
G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967.
Maria Paola Bonacina and Nachum Dershowitz, Canonical Inference for Implicational Systems, in Automated Reasoning, Lecture Notes in Computer Science, Volume 5195/2008, Springer-Verlag.
G. Burosch, J. Demetrovics, G. O. H. Katona, D. J. Kleitman and A. A. Sapozhenko, On the number of closure operations, in Combinatorics, Paul Erdős is Eighty (Volume 1), Keszthely: Bolyai Society Mathematical Studies, 1993, 91-105.
P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010)
Alfred Horn, Journal of Symbolic Logic 16 (1951), 14-21. [See Lemma 7.]
D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79.
E. H. Moore, Introduction to a Form of General Analysis, AMS Colloquium Publication 2 (1910), pp. 53-80.

N. Dershowitz, G. S. Huang and M. Harris, Enumeration Problems Related to Ground Horn Theories, arXiv:cs/0610054v2 [cs.LO], 2006-2008.
D. E. Knuth, HORN-COUNT

For nonempty set systems of the same type, see A121921.
Regarding sets of subsets closed under union:
- The case with an edge containing all of the vertices is A102895.
- The case without empty edges is A102896.
- The case with intersection instead of union is (also) A102897.
- The unlabeled version is A193675.
- The case closed under both union and intersection is A306445.
- The BII-numbers of set-systems closed under union are A326875.
- The covering case is A326906.
Cf. A102894, A108798, A108800, A193674, A193675, A326866, A326880, A326900.

Table[Length[Select[Subsets[Subsets[Range[n]]],SubsetQ[#,Union@@@Tuples[#,2]]&]],{n,0,3}] (* Gus Wiseman, Aug 03 2019 *)

a(n) = 2*A102896(n) = Sum_{k=0..n} C(n, k)*A102895(k), where C(n, k) is the binomial coefficient

Asymptotically, log_2 a(n) ~ binomial(n, floor(n/2)) for all of A102894, A102895, A102896 and this sequence [Alekseev; Burosch et al.]

Additional comments from Don Knuth, Jul 01 2005

A108800 Number of nonisomorphic systems enumerated by A102895.

Original entry on oeis.org

1, 2, 6, 28, 330, 28960, 216562364, 5592326182940100

Offset: 0

Don Knuth, Jul 01 2005

Also the number of non-isomorphic sets of sets with {} that are closed under intersection. Also the number of non-isomorphic set-systems (without {}) covering n + 1 vertices and closed under intersection. - Gus Wiseman, Aug 05 2019

			From _Gus Wiseman_, Aug 02 2019: (Start)
Non-isomorphic representatives of the a(0) = 1 through a(3) = 28 sets of sets with {} that are closed under intersection:
  {}  {}     {}            {}
      {}{1}  {}{1}         {}{1}
             {}{12}        {}{12}
             {}{1}{2}      {}{123}
             {}{2}{12}     {}{1}{2}
             {}{1}{2}{12}  {}{1}{23}
                           {}{2}{12}
                           {}{3}{123}
                           {}{1}{2}{3}
                           {}{23}{123}
                           {}{1}{2}{12}
                           {}{1}{3}{23}
                           {}{2}{3}{123}
                           {}{3}{13}{23}
                           {}{1}{23}{123}
                           {}{3}{23}{123}
                           {}{1}{2}{3}{23}
                           {}{1}{2}{3}{123}
                           {}{2}{3}{13}{23}
                           {}{1}{3}{23}{123}
                           {}{2}{3}{23}{123}
                           {}{3}{13}{23}{123}
                           {}{1}{2}{3}{13}{23}
                           {}{1}{2}{3}{23}{123}
                           {}{2}{3}{13}{23}{123}
                           {}{1}{2}{3}{12}{13}{23}
                           {}{1}{2}{3}{13}{23}{123}
                           {}{1}{2}{3}{12}{13}{23}{123}
(End)

M. Habib and L. Nourine, The number of Moore families on n = 6, Discrete Math., 294 (2005), 291-296.

Except a(0) = 1, first differences of A193675.
The connected case (i.e., with maximum) is A108798.
The same for union instead of intersection is (also) A108798.
The labeled version is A102895.
The case also closed under union is A326898.
The covering case is A326883.
Cf. A001930, A102894, A102896, A102897, A193674, A326880, A326881.

a(n > 0) = 2 * A108798(n).

a(6) added (using A193675) by N. J. A. Sloane, Aug 02 2011
Changed a(0) from 2 to 1 by Gus Wiseman, Aug 02 2019
a(7) added (using A108798) by Andrew Howroyd, Aug 10 2019

A326875 BII-numbers of set-systems that are closed under union.

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 7, 8, 16, 17, 24, 25, 32, 34, 40, 42, 64, 65, 66, 68, 69, 70, 71, 72, 76, 80, 81, 82, 84, 85, 86, 87, 88, 89, 92, 93, 96, 97, 98, 100, 101, 102, 103, 104, 106, 108, 110, 112, 113, 114, 116, 117, 118, 119, 120, 121, 122, 124, 125, 126, 127, 128

Offset: 1

Gus Wiseman, Jul 29 2019

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

The enumeration of these set-systems by number of covered vertices is A102896.

			The sequence of all set-systems that are closed under union together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  24: {{3},{1,3}}
  25: {{1},{3},{1,3}}
  32: {{2,3}}
  34: {{2},{2,3}}
  40: {{3},{2,3}}
  42: {{2},{3},{2,3}}
  64: {{1,2,3}}
  65: {{1},{1,2,3}}
  66: {{2},{1,2,3}}
  68: {{1,2},{1,2,3}}
  69: {{1},{1,2},{1,2,3}}
  70: {{2},{1,2},{1,2,3}}
  71: {{1},{2},{1,2},{1,2,3}}
  72: {{3},{1,2,3}}
  76: {{1,2},{3},{1,2,3}}
  80: {{1,3},{1,2,3}}
  81: {{1},{1,3},{1,2,3}}
  82: {{2},{1,3},{1,2,3}}
  84: {{1,2},{1,3},{1,2,3}}
  85: {{1},{1,2},{1,3},{1,2,3}}
  86: {{2},{1,2},{1,3},{1,2,3}}

John Tyler Rascoe, Table of n, a(n) for n = 1..3000

Cf. A006126, A048793, A102894, A102896, A102897, A326031, A326872, A326874, A326876, A326880.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,100],SubsetQ[bpe/@bpe[#],Union@@@Tuples[bpe/@bpe[#],2]]&]

from itertools import count, islice, combinations
def bin_i(n): #binary indices
    return([(i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1'])
def a_gen():
    for n in count(0):
        E,f = [bin_i(k) for k in bin_i(n)],0
        for i in combinations(E,2):
            if list(set(i[0])|set(i[1])) not in E:
                f += 1
                break
        if f < 1:
            yield n
A326875_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Mar 06 2025

A326881 Number of set-systems with {} that are closed under intersection and cover n vertices.

Original entry on oeis.org

1, 1, 5, 71, 4223, 2725521, 151914530499, 28175294344381108057

Offset: 0

Gus Wiseman, Jul 30 2019

			The a(2) = 5 set-systems:
  {{},{1,2}}
  {{},{1},{2}}
  {{},{1},{1,2}}
  {{},{2},{1,2}}
  {{},{1},{2},{1,2}}

The case also closed under union is A000798.
The connected case (i.e., with maximum) is A102894.
The same for union instead of intersection is (also) A102894.
The non-covering case is A102895.
The BII-numbers of these set-systems (without the empty set) are A326880.
The unlabeled case is A326883.
Cf. A003465, A014466, A102896, A102897, A193674, A193675, A306445, A307249, A326878.

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

Inverse binomial transform of A102895. - Andrew Howroyd, Aug 10 2019

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

A326906 Number of sets of subsets of {1..n} that are closed under union and cover all n vertices.

Original entry on oeis.org

2, 2, 8, 90, 4542, 2747402, 151930948472, 28175295407840207894

Offset: 0

Gus Wiseman, Aug 03 2019

Differs from A102895 in having a(0) = 2 instead of 1.

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

The case without empty sets is A102894.
The case with a single covering edge is A102895.
Binomial transform is A102897.
The case also closed under intersection is A326878 for n > 0.
The same for intersection instead of union is (also) A326906.
The unlabeled version is A326907.
Cf. A000798, A102896, A102897, A108800, A193675, A306445, A326880, A326881, A326883.

Table[Length[Select[Subsets[Subsets[Range[n]]],Union@@#==Range[n]&&SubsetQ[#,Union@@@Tuples[#,2]]&]],{n,0,3}]

a(n) = 2 * A102894(n).

A326883 Number of unlabeled set-systems with {} that are closed under intersection and cover n vertices.

Original entry on oeis.org

1, 1, 4, 22, 302, 28630, 216533404, 5592325966377736

Offset: 0

Gus Wiseman, Jul 30 2019

			Non-isomorphic representatives of the a(0) = 1 through a(3) = 22 set-systems:
  {{}}  {{}{1}}  {{}{12}}        {{}{123}}
                 {{}{1}{2}}      {{}{1}{23}}
                 {{}{2}{12}}     {{}{3}{123}}
                 {{}{1}{2}{12}}  {{}{1}{2}{3}}
                                 {{}{23}{123}}
                                 {{}{1}{3}{23}}
                                 {{}{2}{3}{123}}
                                 {{}{3}{13}{23}}
                                 {{}{1}{23}{123}}
                                 {{}{3}{23}{123}}
                                 {{}{1}{2}{3}{23}}
                                 {{}{1}{2}{3}{123}}
                                 {{}{2}{3}{13}{23}}
                                 {{}{1}{3}{23}{123}}
                                 {{}{2}{3}{23}{123}}
                                 {{}{3}{13}{23}{123}}
                                 {{}{1}{2}{3}{13}{23}}
                                 {{}{1}{2}{3}{23}{123}}
                                 {{}{2}{3}{13}{23}{123}}
                                 {{}{1}{2}{3}{12}{13}{23}}
                                 {{}{1}{2}{3}{13}{23}{123}}
                                 {{}{1}{2}{3}{12}{13}{23}{123}}

The case also closed under union is A001930.
The connected case (i.e., with maximum) is A108798.
The same for union instead of intersection is (also) A108798.
The non-covering case is A108800.
The labeled case is A326881.
Cf. A000798, A102894, A102895, A102897, A193674, A193675, A306445, A326875, A326878, A326880.

a(n) = A108800(n) - A108800(n-1) for n > 0. - Andrew Howroyd, Aug 10 2019

a(5)-a(7) from Andrew Howroyd, Aug 10 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.

cp's OEIS Frontend

A102896 Number of ACI algebras (or semilattices) on n generators with no annihilator.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A102894 Number of ACI algebras or semilattices on n generators, with no identity or annihilator.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A102895 Number of ACI algebras or semilattices on n generators with no identity element.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A102897 Number of ACI algebras (or semilattices) on n generators.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A108800 Number of nonisomorphic systems enumerated by A102895.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

A326875 BII-numbers of set-systems that are closed under union.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A326881 Number of set-systems with {} that are closed under intersection and cover n vertices.

Views

Author

Keywords

Examples

Crossrefs