I think that I shall never see a model lovely as geometry
[with apologies to Joyce Kilmer and a tip of the hat to Edna St. Vincent Millay]
Many of the computer software tools for building geometric models of real objects use Boolean operations on simple shapes to build more complex shapes. Union (addition or sum) and intersection (common region or product) are used, but negation is usually replaced by (asymmetric) difference (x and not y) to avoid generating 'every point except those in y'.
Read more »