A symmetric monoidal preorder \(\mathcal{V}:=(V,\leq,I,\otimes)\) is symmetric monoidal closed (or just closed)
For every \(v,w \in V\), there is an element \(v \multimap w \in V\) called the hom-element with the property:
\(\forall a,v,w \in V: (a \otimes v) \leq w\) iff \(a \leq (v \multimap w)\)