A356544 Number of strict closure operators on a set of n elements such that all pairs of nonempty disjoint closed sets can be separated by clopen sets.

0, 1, 4, 35, 857

Offset

0,3

Comments

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

Two nonempty disjoint subsets A and B of X are separated by a set H if A is a subset of H and B is not a subset of H.

Also the number of S_4 (Kakutani separation property) convexities on a set of n elements in the sense of Chepoi.

References

G. M. Bergman. Lattices, Closure Operators, and Galois Connections. Springer, Cham. 2015. 173-212.

Links

Table of n, a(n) for n=0..4.

Victor Chepoi, Separation of Two Convex Sets in Convexity Structures

Wikipedia, Closure operator

Example

The a(3) = 35 set-systems of closed sets:
{{}, {1, 2, 3}}
{{}, {1}, {1, 2, 3}}
{{}, {2}, {1, 2, 3}}
{{}, {3}, {1, 2, 3}}
{{}, {1, 2}, {1, 2, 3}}
{{}, {1, 3}, {1, 2, 3}}
{{}, {2, 3}, {1, 2, 3}}
{{}, {1}, {1, 2}, {1, 2, 3}}
{{}, {1}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2, 3}, {1, 2, 3}}
{{}, {2}, {1, 2}, {1, 2, 3}}
{{}, {2}, {1, 3}, {1, 2, 3}}
{{}, {2}, {2, 3}, {1, 2, 3}}
{{}, {3}, {1, 2}, {1, 2, 3}}
{{}, {3}, {1, 3}, {1, 2, 3}}
{{}, {3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2}, {2, 3}, {1, 2, 3}}
{{}, {1}, {3}, {1, 2}, {1, 2, 3}}
{{}, {1}, {3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {2}, {3}, {1, 2}, {1, 2, 3}}
{{}, {2}, {3}, {1, 3}, {1, 2, 3}}
{{}, {2}, {1, 2}, {2, 3}, {1, 2, 3}}
{{}, {3}, {1, 3}, {2, 3}, {1, 2, 3}}
{{}, {1}, {2}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2}, {1, 2}, {2, 3}, {1, 2, 3}}
{{}, {1}, {3}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {3}, {1, 3}, {2, 3}, {1, 2, 3}}
{{}, {2}, {3}, {1, 2}, {2, 3}, {1, 2, 3}}
{{}, {2}, {3}, {1, 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}}

Mathematica

SeparatedPairQ[A_][B_] := AnyTrue[A, And @@ MapThread[SubsetQ, {#, B}] &];
Table[Length[With[{X = Range[n]},
Select[Cases[Subsets@Subsets@X, {{}, ___, X}],
   F |-> SubsetQ[F, Intersection @@@ Subsets[F, {2}]]
&& AllTrue[Select[Subsets[Drop[F, 1], {2}], Apply[DisjointQ]], SeparatedPairQ[Select[{#, Complement[X, #]} & /@ F, MemberQ[F, #[[2]]] &]]]]]], {n, 0, 4}]

Crossrefs

Cf. A334255, A358144, A358152.

Sequence in context: A351730 A125798 A129581 * A120055 A192012 A076818

Adjacent sequences: A356541 A356542 A356543 * A356545 A356546 A356547

Keyword

nonn,hard,more

Author

Tian Vlasic, Aug 11 2022

Status

approved