Boolean algebra
ブール代数（ブール束）とは束論における可補分配束（complemented distributive lattice）のことである。