▽ lgebra〔数学〕ブール代数《非数学的論理演算を成文化するために Boole が考案した記号論理の体系；コンピュータに利用されている》.