# multifuncoid

## Graph product of multifuncoids ★★

Author(s): Porton

\begin{conjecture} Let $F$ is a family of multifuncoids such that each $F_i$ is of the form $\lambda j \in N \left( i \right) : \mathfrak{F} \left( U_j \right)$ where $N \left( i \right)$ is an index set for every $i$ and $U_j$ is a set for every $j$. Let every $F_i = E^{\ast} f_i$ for some multifuncoid $f_i$ of the form $\lambda j \in N \left( i \right) : \mathfrak{P} \left( U_j \right)$ regarding the filtrator $\left( \prod_{j \in N \left( i \right)} \mathfrak{F} \left( U_j \right) ; \prod_{j \in N \left( i \right)} \mathfrak{P} \left( U_j \right) \right)$. Let $H$ is a graph-composition of $F$ (regarding some partition $G$ and external set $Z$). Then there exist a multifuncoid $h$ of the form $\lambda j \in Z : \mathfrak{P} \left( U_j \right)$ such that $H = E^{\ast} h$ regarding the filtrator $\left( \prod_{j \in Z} \mathfrak{F} \left( U_j \right) ; \prod_{j \in Z} \mathfrak{P} \left( U_j \right) \right)$. \end{conjecture}

Keywords: graph-product; multifuncoid

## Atomicity of the poset of multifuncoids ★★

Author(s): Porton

\begin{conjecture} The poset of multifuncoids of the form $(\mathscr{P}\mho)^n$ is for every sets $\mho$ and $n$: \begin{enumerate} \item atomic; \item atomistic. \end{enumerate} \end{conjecture}

See below for definition of all concepts and symbols used to in this conjecture.

Refer to \href[this Web site]{http://www.mathematics21.org/algebraic-general-topology.html} for the theory which I now attempt to generalize.

Keywords: multifuncoid

## Atomicity of the poset of completary multifuncoids ★★

Author(s): Porton

\begin{conjecture} The poset of completary multifuncoids of the form $(\mathscr{P}\mho)^n$ is for every sets $\mho$ and $n$: \begin{enumerate} \item atomic; \item atomistic. \end{enumerate} \end{conjecture}

See below for definition of all concepts and symbols used to in this conjecture.

Refer to \href[this Web site]{http://www.mathematics21.org/algebraic-general-topology.html} for the theory which I now attempt to generalize.

Keywords: multifuncoid