ортомодулярное тождество

Мат. orthomodular identity