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