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