theorem :: QUANTAL1:7

for Q being non empty unital QuasiNetStr st Q is Quantale holds
Q is BlikleNet