• Every element of $\mathcal{P}\webleft (X\webright )$ has order $2$ with respect to $\mathbin {\triangle }$, and thus $\mathcal{P}\webleft (X\webright )$ is a Boolean group (i.e. an abelian $2$-group).

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


You can also use the contact form below: