• The quadruple $\webleft (\mathcal{P}\webleft (X\webright ),\mathbin {\triangle },\text{Ø},\text{id}_{\mathcal{P}\webleft (X\webright )}\webright )$ is an abelian group.1

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: