介紹
樹代數((tree algebra)一種特祖嚷殊的布爾代數.一個偏序集(T,簇T>是一棵樹，如果每籃府煮一個tET，集合pred(t)= {xET }x<Tt}是由<二決定的重舟糊一個局戒企估良序集合.設(T,鎮)是一棵樹，對每一個tET，令bt={sE7'}t}s};由{{b,}tET}生成的T上的集合代數B}稱為T的樹代數.其中b，稱為BT的典範生成元.可以證明:每個樹代數可嵌人到一個區駝嚷放拒間代數.特別地，每個海洪擔樹代數是收縮的.樹代數是20世紀80年代初由布列納(Brenner,G.)引進，用記拘匪來提供具有悖論性質的布爾代數.
