Булевы алгебры, упорядоченные множества, решётки: Определения, свойства, примеры