The sum operation, as introduced by Andrzej Wroński, is used to decompose any finite distributive lattice into its Boolean fragments. The decomposition is not unique but its maximal components are uniquely determined. We define an ordering relation between these maximal Boolean fragments of a given lattice and use this link ordering to describe the structure of the lattice.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.