fが "x" の冪集合全体であるとき、この代数 "c"(x)は充満複体代数(full complex algebra)または冪集合代数(power algebra)と呼ばれる。