布尔代数系统的公理化定义及基本性质定理

本文统一论述布尔代数（含集合代数和逻辑代数）各系统的公理化定义及其基本性质定理。