In [my research](http://www.mathematics21.org/algebraic-general-topology.html) the following problem appeared (and if it is true, this solves positively several my conjectures):


Let $U$ be a fixed set (usually $U$ is infinite). Let $n$ be a fixed index set (usually $n$ is infinite).


I call a *staroid* such an $n$-ary relation $f$ between sets (which are subsets of some fixed set $U$) such that:


1. $X\notin f$ if any component $X\_i$ of $X$ is empty set.
2. $\{(k,I\cup J)\} \cup L\in f\Leftrightarrow \{(k,I)\} \cup L\in f \vee \{(k,J)\} \cup L\in f$ for every index $k\in n$, sets $I,J\in\mathscr{P}U$ and an indexed family $L$ of subsets f $U$ such that $\operatorname{dom} L=n\setminus\{k\}$.
3. If $X\in f$ and $\forall i\in n:Y\_i\supseteq X\_i$ then $Y\in f$ for every $n$-indexed family $Y$ of subsets of $U$.


Let $f$ be a staroid.


Let $X$ be an $n$-indexed family of subsets of $U$ and $Y\in f$. Let also $\forall L \in f, i \in n : L\_i \cap X\_i \ne \varnothing$.


Conjecture: $(\lambda i\in n: X\_i\cap Y\_i) \in f$.


Note that $(\lambda i\in n: X\_i\cap Y\_i) = \{ (i,X\_i\cap Y\_i) | i\in n \}$ (and it is a function defined on the set $n$).



A conjecture about certain relations
The answer is no. Let $\mathscr{U}$ be an ultrafilter on $\mathbb{N}$. Let $A,B \in \mathscr{U}$ be such that $A \cap B$ is a proper subset of both $A$ and $B$. Let $\mathscr{F}$ be the collection of functions $f : \mathbb{N} \to \mathscr{U}$ such that either $f(n) \supseteq A$ for all but finitely many $n$, or $f(n) \supseteq B$ for all but finitely many $n$.


$\mathscr{F}$ satisfies your definition of *staroid*, and for any $f,g \in \mathscr{F}$, $f(n) \cap g(n) \not= \emptyset$ for all $n \in \mathbb{N}$. But let $f$ be the constant function with value $A$ and $g$ the constant function with value $B$. Then $\{ (n,f(n) \cap g(n)) : n \in \mathbb{N} \} \notin \mathscr{F}$.


