Orthocomplemented weak tensor products (Q535098)

Let \(S\) be the set of weak tensor products of complete atomistic lattices \(L_1, L_2\). It is proved that, under some assumptions, \(S\) is a singleton if and only if \(L_1\) or \(L_2\) are distributive if and only if the top element of \(S\) (the tensor product of Fraser) has the covering property. Moreover, it is shown that, under some assumptions, an element of \(S\) admits an orthocomplementation if and ownly if it is the bottom element of \(S\) (the box product of Grätzer and Wehrung). An example of a weak tensor product with a covering property is given.