Reflexive index of a family of sets (Q6486911)

Let \(X\) be a set, let \(\mathrm{Sub}(X)\) be the set of all subsets of \(X\), and let \(\mathrm{End}(X)\) be the set of all mappings \(f: X\to X\). For \(\mathcal{A}\subseteq \mathrm{Sub}(X)\) and \(\mathcal{F}\subseteq \mathrm{End}(X)\), define NEWLINE\begin{align*}NEWLINE\mathrm{Alg}(\mathcal{A})&=\{f\in \mathrm{End}(X): f(A)\subseteq A\text{ for all } A\in \mathcal{A}\}, \\NEWLINE\mathrm{Lat}(\mathcal{F})&=\{A\in \mathrm{Sub}(X): f(A)\subseteq A \text{ for all } f\in \mathcal{F}\}. NEWLINE\end{align*}NEWLINE\(\mathcal{A}\subseteq\mathrm{Sub}(X)\) is said to be \textit{reflexive} if \(\mathcal{A}=\mathrm{Lat}(\mathrm{Alg}(\mathcal{A})).\) Define the \textit{reflexive index} \(k_X(\mathcal{A})\) of \(\mathcal{A}\) by NEWLINE\[NEWLINE\inf\{|\mathcal{F}|: \mathcal{F}\subseteq \mathrm{End}(X), \hat{\mathcal{A}}=\mathrm{Lat}(\mathcal{F})\} NEWLINE\]NEWLINEwhere \(\hat{\mathcal{A}}=\mathrm{Lat}(\mathrm{Alg}(\mathcal{A}))\).NEWLINENEWLINEThe main theorem states that for a finite or countably infinite set \(X\), the reflexive index \(k_X(\mathcal{A})\) of any finite \(\mathcal{A}\) is also finite. Reflexive indices of concrete examples are considered.