A Quantale ( Q , ⋁ , ⊗ ) 𝑄 tensor-product (Q,\bigvee,\otimes) is unital if there is an element I : Q : 𝐼 𝑄 I:Q such that ( Q , ⊗ , I ) 𝑄 tensor-product 𝐼 (Q,\otimes,I) is a Monoid.