Algèbre de Boole

concept

anneau unitaire (commutatif) dont tous les éléments sont idempotents, structure algébrique utilisée en logique combinatoire

Propriétés

p279_labels
Q121504301, treillis distributif, algèbre de Heyting, anneau commutatif

Catégories