A Unital Quantale ( Q , ⋁ , ⊗ , I ) 𝑄 tensor-product 𝐼 (Q,\bigvee,\otimes,I) is integral if the unit I 𝐼 I is a Top Element.