Let \\(S\\) be a set and recall the powerset monoidal preorder \\( ( \mathbb{P}(S), \subseteq, S, \cap ) \\)
from [Exercise 2.32](https://forum.azimuthproject.org/discussion/1981) .
Is it a quantale?

[Previous](https://forum.azimuthproject.org/discussion/2115)
[Next](https://forum.azimuthproject.org/discussion/2117)