cp's OEIS Frontend

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.

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

Original entry on oeis.org

1, 1, 1, 8, 545, 702525, 66960965307
Offset: 0

Views

Author

Joshua Moerman, Apr 24 2020

Keywords

Comments

The T_1 axiom states that all singleton sets {x} are closed.
A closure operator is strict if the empty set is closed.

Examples

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

Crossrefs

The number of all strict closure operators is given in A102894.
For all strict T_0 closure operators, see A334253.
For T_1 closure operators, see A334254.

Programs

  • Mathematica
    Table[Length[
      Select[Subsets[Subsets[Range[n]]],
       And[MemberQ[#, {}], MemberQ[#, Range[n]],
         SubsetQ[#, Intersection @@@ Tuples[#, 2]],
         SubsetQ[#, Map[{#} &, Range[n]]]] &]], {n, 0, 4}] (* Tian Vlasic, Jul 29 2022 *)

Extensions

a(6) from Dmitry I. Ignatov, Jul 03 2022