范式，主范式，半群，格。这四个哪些是代数系统所包括的

这四个概念都是代数学中的重要概念，但不是所有的代数系统都包括这四个概念。

1. 范式（Normal Form）：是指将一个代数表达式化为最简形式，不再包含不必要的元素或表达式。范式在逻辑学和计算机科学中有广泛应用，比如布尔代数中的合取范式和析取范式。

2. 主范式（Canonical Form）：是指一类特殊的范式，它具有一定的标准形式和性质，并且对于同一类代数表达式，主范式是唯一的。主范式在代数学中有广泛应用，比如矩阵的 Jordan 标准形和有限群的 Burnside 定理。

3. 半群（Semigroup）：是指一个集合和一个封闭的二元运算，满足封闭性、结合律等条件。半群是代数学中的基本概念之一，其在计算机科学、数学和物理学等领域中都有重要应用。

4. 格（Lattice）：是指一个集合和两个二元运算，分别称为上确界和下确界，满足一定的条件。格在代数学和计算机科学中有广泛应用，比如在数据库理论中，关系模型中的关系就是一个格。

因此，只有半群是代数系统中的基本概念之一，其他三个概念是代数学中的重要概念，但不是所有的代数系统都包括这四个概念。