Category:Examples of Subset Product

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Subset Product.

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$.