worth noting that some places (eg [Wikipedia](https://en.wikipedia.org/wiki/Quantale)) _define_ a quantale as a monoidal poset with all joins where the product distributes over infinite joins.

so you can view John's theorem as a proof that his definition coincides with this alternative one.