cp's OEIS Frontend

A367422 Number of inequivalent strict interval closure operators on a set of n elements.

%I A367422 #10 Nov 26 2023 08:39:01
%S A367422 1,1,3,14,146,6311,2302155
%N A367422 Number of inequivalent strict interval closure operators on a set of n elements.
%C A367422 A closure operator cl is strict if {} is closed, i.e., cl({})={}; it is interval closure operator if for every set S, the statement that for all x,y in S, cl({x,y}) is a subset of S implies that S is closed.
%C A367422 a(n) is also the number of interval convexities on a set of n elements (see Chepoi).
%D A367422 B. Ganter and R. Wille, Formal Concept Analysis - Mathematical Foundations, Springer, 1999, pages 1-15.
%H A367422 Victor Chepoi, <a href="https://www.researchgate.net/publication/2407147_Separation_Of_Two_Convex_Sets_In_Convexity_Structures">Separation of Two Convex Sets in Convexity Structures</a>
%H A367422 Dmitry I. Ignatov, <a href="https://github.com/dimachine/StrictIntervalClosures/">Supporting iPython code for counting (inequivalent) strict interval closure operators up to n=6</a>, Github repository.
%H A367422 Wikipedia, <a href="https://en.wikipedia.org/wiki/Closure_operator">Closure operator</a>
%e A367422 The a(2) = 3 set-systems include {}{12}, {}{1}{2}{12}, {}{1}{12} (equivalent to {}{2}{12}).
%e A367422 The a(3) = 14 set-systems are the following (system {{}, {1,2,3}}, and sets {} and {1,2,3} are omitted).
%e A367422     {1}
%e A367422     {1}{12}
%e A367422     {12}
%e A367422     {1}{12}{13}
%e A367422     {1}{2}
%e A367422     {1}{2}{12}
%e A367422     {1}{2}{3}{12}
%e A367422     {1}{2}{3}
%e A367422     {1}{2}{13}
%e A367422     {1}{2}{3}{13}{23}
%e A367422     {1}{2}{12}{23}
%e A367422     {1}{23}
%e A367422     {1}{2}{3}{12}{13}{23}.
%Y A367422 Cf. A364656 (all strict interval closure families), A334255, A358144, A358152, A356544.
%K A367422 nonn,hard,more
%O A367422 0,3
%A A367422 _Dmitry I. Ignatov_, Nov 18 2023