同类型与同种代数系统(续) +可交换可结合+可交换,可结合U可交换,可结合 可交换,可结合·可交换,可结合∩可交换,可结合 +满足消去律满足消去律不满足消去律 满足消去律 满足消去律不满足消去律 对+可分配 对+可分配 ∩对U可分配 +对·不可分配+对·不可分配U对∩可分配 +与·没有吸收+与·没有吸收律U与∩满足吸收律 律 V1,V2V3是同类型的代数系统 V1,V2是同种的代数系统 V1,V2与不是同种的代数系统5 V1 V2 V3 + 可交换, 可结合 · 可交换, 可结合 + 满足消去律 · 满足消去律 · 对+可分配 + 对 · 不可分配 +与 · 没有吸收 律 + 可交换, 可结合 · 可交换, 可结合 + 满足消去律 · 满足消去律 · 对+可分配 + 对 · 不可分配 +与 · 没有吸收律 ∪可交换, 可结合 ∩可交换, 可结合 ∪不满足消去律 ∩不满足消去律 ∩对∪可分配 ∪对∩可分配 ∪与∩满足吸收律 V1 , V2 , V3是同类型的代数系统 V1 , V2是同种的代数系统 V1 , V2与V3不是同种的代数系统 同类型与同种代数系统（续）