Un retículo distributivo complementado se denomina álgebra de Boole o retículo de Boole; cuando en lugar del complemento solamente existe un así llamado pseudocomplemento relativo, se habla de una álgebra de Heyting.