Page "Complemented lattice" Paragraph 4
from
Wikipedia
Every complemented distributive lattice has a unique orthocomplementation and is in fact a Boolean algebra.
Page 1 of 1.
1.826 seconds.