• Interaction With Powersets and Semirings. The quintuple $\webleft (\mathcal{P}\webleft (X\webright ),\cup ,\cap ,\emptyset ,X\webright )$ is an idempotent commutative semiring.

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


You can also use the contact form below: