Bir Boole cebirinin, kendi işlemlerine göre gene bir Boole cebiri olan altkümesi. Anlamdaş. Boole altörgüsü.