Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice.
Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. (en)
Zavádí se tzv. ortookruhy, které jednoznačně odpovídají svazům s 0, v nichž je každý hlavní ideál ortosvaz. (cs)