A326875 -id:A326875 - 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

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

A326876 BII-numbers of finite topologies without their empty set.

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, 85, 87, 88, 89, 93, 96, 97, 98, 102, 103, 104, 106, 110, 120, 121, 122, 127, 128, 256, 257, 384, 385, 512, 514, 640, 642, 1024, 1025, 1026, 1028, 1029, 1030

Offset: 1

Gus Wiseman, Jul 29 2019

nonn

A finite topology is a finite set of finite sets closed under union and intersection and containing {} and the vertex set.
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.
The enumeration of finite topologies by number of points is given by A000798.

			The sequence of all finite topologies without their empty set 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}}

Wikipedia Topological space

Cf. A000798, A001930, A003465, A048793, A102894, A102896, A326031, A326872, A326875, A326878.

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

A193674 Number of nonisomorphic systems enumerated by A102896; that is, the number of inequivalent closure operators (or Moore families).

Original entry on oeis.org

1, 2, 5, 19, 184, 14664, 108295846, 2796163199765896

Offset: 0

Don Knuth, Jul 01 2005

Also the number of unlabeled n-vertex set-systems (A003180) closed under union. - Gus Wiseman, Aug 01 2019

			From _Gus Wiseman_, Aug 01 2019: (Start)
Non-isomorphic representatives of the a(0) = 1 through a(3) = 19 set-systems closed under union:
  {}  {}     {}               {}
      {{1}}  {{1}}            {{1}}
             {{1,2}}          {{1,2}}
             {{2},{1,2}}      {{1,2,3}}
             {{1},{2},{1,2}}  {{2},{1,2}}
                              {{3},{1,2,3}}
                              {{1},{2},{1,2}}
                              {{2,3},{1,2,3}}
                              {{1},{2,3},{1,2,3}}
                              {{3},{2,3},{1,2,3}}
                              {{1,3},{2,3},{1,2,3}}
                              {{2},{3},{2,3},{1,2,3}}
                              {{2},{1,3},{2,3},{1,2,3}}
                              {{3},{1,3},{2,3},{1,2,3}}
                              {{1,2},{1,3},{2,3},{1,2,3}}
                              {{2},{3},{1,3},{2,3},{1,2,3}}
                              {{3},{1,2},{1,3},{2,3},{1,2,3}}
                              {{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
                              {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
(End)

D. E. Knuth, The Art of Computer Programming, Vol. 4, Section 7.1.1

Daniel Borchmann, Bernhard Ganter, Concept Lattice Orbifolds - First Steps, Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), 22-37 (Reference points to A108799).
G. Brinkmann and R. Deklerck, Generation of Union-Closed Sets and Moore Families, arXiv:1701.03751 [math.CO], 2017.
G. Brinkmann and R. Deklerck, Generation of Union-Closed Sets and Moore Families, Journal of Integer Sequences, Vol.21 (2018), Article 18.1.7.
P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010).

Cf. A102894, A102895, A102897.
The labeled case is A102896.
The covering case is A108798.
The same for intersection instead of union is A108800.
The case with empty edges allowed is A193675.
Cf. A000612, A001930, A003180, A306445, A326875, A326883.

a(n) = A193675(n)/2.

a(6) received Aug 17 2005
a(6) corrected by Pierre Colomb, Aug 02 2011
a(7) from Gunnar Brinkmann, Feb 07 2018

A193675 Number of nonisomorphic systems enumerated by A102897; that is, the number of inequivalent Horn functions, under permutation of variables.

Original entry on oeis.org

2, 4, 10, 38, 368, 29328, 216591692, 5592326399531792

Offset: 0

Don Knuth, Jul 01 2005

When speaking of inequivalent Boolean functions, three groups of symmetries are typically considered: Complementations only, the Abelian group (2,...,2) of 2^n elements; permutations only, the symmetric group of n! elements; or both complementations and permutations, the octahedral group of 2^n n! elements. In this case only symmetry with respect to the symmetric group is appropriate because complementation affects the property of being a Horn function.

Also the number of non-isomorphic sets of subsets of {1..n} that are closed under union. - Gus Wiseman, Aug 04 2019

			From _Gus Wiseman_, Aug 04 2019: (Start)
Non-isomorphic representatives of the a(0) = 2 through a(2) = 10 sets of sets:
  {}    {}        {}
  {{}}  {{}}      {{}}
        {{1}}     {{1}}
        {{},{1}}  {{1,2}}
                  {{},{1}}
                  {{},{1,2}}
                  {{2},{1,2}}
                  {{},{2},{1,2}}
                  {{1},{2},{1,2}}
                  {{},{1},{2},{1,2}}
(End)

D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79.

P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010).
D. E. Knuth, HORN-COUNT

The covering case is A326907.
The case without {} is A193674.
The labeled version is A102897.
The same with intersection instead of union is also A193675.
The case closed under both union and intersection also is A326908.
Cf. A102894, A102895, A102896, A102897, A108798, A108800, A326867, A326875, A326904.

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

a(6) received from Don Knuth, Aug 17 2005
a(6) corrected by Pierre Colomb, Aug 02 2011
a(7) = 2*A193674(7) from Hugo Pfoertner, Jun 18 2018

A326872 BII-numbers of connectedness systems.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 24, 25, 26, 27, 32, 33, 34, 35, 40, 41, 42, 43, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99

Offset: 1

Gus Wiseman, Jul 29 2019

We define a connectedness system (investigated by Vim van Dam in 2002) to be a set of finite nonempty sets (edges) that is closed under taking the union of any two overlapping edges.
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 given by A326870.

			The sequence of all connectedness systems together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   3: {{1},{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
   9: {{1},{3}}
  10: {{2},{3}}
  11: {{1},{2},{3}}
  12: {{1,2},{3}}
  13: {{1},{1,2},{3}}
  14: {{2},{1,2},{3}}
  15: {{1},{2},{1,2},{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  18: {{2},{1,3}}
  19: {{1},{2},{1,3}}
  24: {{3},{1,3}}
  25: {{1},{3},{1,3}}
  26: {{2},{3},{1,3}}
  27: {{1},{2},{3},{1,3}}
  32: {{2,3}}

John Tyler Rascoe, Table of n, a(n) for n = 1..10000
Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.

Connectedness systems are counted by A326866, with unlabeled version A326867.
The case without singletons is A326873.
The connected case is A326879.
Set-systems closed under union are counted by A102896, with BII numbers A326875.
Cf. A029931, A048793, A072446, A326031, A326749, A326753, A326870, A326876, A326879.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
connsysQ[eds_]:=SubsetQ[eds,Union@@@Select[Tuples[eds,2],Intersection@@#!={}&]];
Select[Range[0,100],connsysQ[bpe/@bpe[#]]&]

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 and len(set(i[0])&set(i[1])) > 0:
                f += 1
                break
        if f < 1:
            yield n
A326872_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Mar 07 2025

A326910 BII-numbers of pairwise intersecting set-systems.

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 8, 16, 17, 20, 21, 24, 32, 34, 36, 38, 40, 48, 52, 56, 64, 65, 66, 68, 69, 70, 72, 80, 81, 84, 85, 88, 96, 98, 100, 102, 104, 112, 116, 120, 128, 256, 257, 260, 261, 272, 273, 276, 277, 320, 321, 324, 325, 336, 337, 340, 341, 384, 512, 514

Offset: 1

Gus Wiseman, Aug 04 2019

nonn

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 sequence of all pairwise intersecting set-systems together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   8: {{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  20: {{1,2},{1,3}}
  21: {{1},{1,2},{1,3}}
  24: {{3},{1,3}}
  32: {{2,3}}
  34: {{2},{2,3}}
  36: {{1,2},{2,3}}
  38: {{2},{1,2},{2,3}}
  40: {{3},{2,3}}
  48: {{1,3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  56: {{3},{1,3},{2,3}}

Intersecting set systems are A051185 (not-covering) or A305843 (covering).
BII-numbers of set-systems with empty intersection are A326911.
Cf. A006058, A048793, A326031, A326875, A326912, A326913.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Select[Range[0,100],stableQ[bpe/@bpe[#],Intersection[#1,#2]=={}&]&]

A326880 BII-numbers of set-systems that are closed under nonempty intersection.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 23, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 38, 39, 40, 41, 42, 43, 46, 47, 56, 57, 58, 59, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 85, 87, 88

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.

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

			Most small numbers are in the sequence, but the sequence of non-terms together with the set-systems with those BII-numbers begins:
  20: {{1,2},{1,3}}
  22: {{2},{1,2},{1,3}}
  28: {{1,2},{3},{1,3}}
  30: {{2},{1,2},{3},{1,3}}
  36: {{1,2},{2,3}}
  37: {{1},{1,2},{2,3}}
  44: {{1,2},{3},{2,3}}
  45: {{1},{1,2},{3},{2,3}}
  48: {{1,3},{2,3}}
  49: {{1},{1,3},{2,3}}
  50: {{2},{1,3},{2,3}}
  51: {{1},{2},{1,3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  53: {{1},{1,2},{1,3},{2,3}}
  54: {{2},{1,2},{1,3},{2,3}}
  55: {{1},{2},{1,2},{1,3},{2,3}}
  60: {{1,2},{3},{1,3},{2,3}}
  61: {{1},{1,2},{3},{1,3},{2,3}}
  62: {{2},{1,2},{3},{1,3},{2,3}}
  84: {{1,2},{1,3},{1,2,3}}

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

Cf. A006126, A048793, A102894, A102895, A102896, A102897, A306445, A326031, A326872, A326874, A326875, A326876, A326881.

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

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):
            x = list(set(i[0])&set(i[1]))
            if x not in E and len(x) > 0:
                f += 1
                break
        if f < 1:
            yield n
A326880_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Mar 07 2025

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

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

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

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A326876 BII-numbers of finite topologies without their empty set.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A193674 Number of nonisomorphic systems enumerated by A102896; that is, the number of inequivalent closure operators (or Moore families).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

Extensions

A193675 Number of nonisomorphic systems enumerated by A102897; that is, the number of inequivalent Horn functions, under permutation of variables.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

Extensions

A326872 BII-numbers of connectedness systems.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs