Category:Subset Products

This category contains results about Subset Products.
Definitions specific to this category can be found in Definitions/Subset Products.

Let $\struct {S, \circ}$ be an algebraic structure.

We can define an operation on the power set $\powerset S$ as follows:

$\forall A, B \in \powerset S: A \circ_\PP B = \set {a \circ b: a \in A, b \in B}$

This is called the operation induced on $\powerset S$ by $\circ$, and $A \circ_\PP B$ is called the subset product of $A$ and $B$.