Category:Definitions/Magmas of Sets

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Magmas of Sets.
Related results can be found in Category:Magmas of Sets.


Let $X$ be a set.

Let $\SS \subseteq \powerset X$ be a set of subsets of $X$.

Let $I$ be an index set.


For every $i \in I$, let $J_i$ be an index set, and let:

$\phi_i: \powerset X^{J_i} \to \powerset X$

be a partial mapping.


Then $\SS$ is a magma of sets for $\set {\phi_i: i \in I}$ on $X$ if and only if:

$\forall i \in I: \map {\phi_i} {\family {S_j}_{j \mathop \in J_i} } \in \SS$

for every indexed family $\family {S_j}_{j \mathop \in J_i} \in \SS^{J_i}$ in the domain of $\phi$.

Pages in category "Definitions/Magmas of Sets"

This category contains only the following page.