Mathematical functions of union, subtraction, or intersection applied to created and modify geometry in solid modeling. After George Boole.