The brief proof for Boolean algebraic structure of multi map symbol system

• 多种地图符号系统布尔代数结构的简要证明