Concept

Boolean algebra (structure)