Improved Bonferroni Inequalities via Abstract Tubes

This introduction to the recent theory of abstract tubes describes the framework for establishing improved inclusion-exclusion identities and Bonferroni inequalities, which are provably at least as sharp as their classical counterparts while involving fewer terms.