自由布尔代数

英文

free Boolean algebra

简介

一种特殊的布尔代数.令X是任意集合，称有序对(e，F)在X上自由，其中F是布尔代数，e是从X到F中的映射，如果对每个从X到布尔代数A的映射f存在惟一的同态g：F→A，满足g°e=f.如果存在X和e：X→F使得(e，F)在X上自由，则称布尔代数F是自由的.对每个集合I，存在一个I上的自由布尔代数.