# Inclusion-exclusion principle

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

[Catalogue presentation and source-binding data](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Inclusion-exclusion principle](https://ocme.evemisslab.com/en/atlas/atlas-inclusion-exclusion-principle/)

The union cardinality of a finite indexed set family is the alternating sum of intersection sizes over every nonempty index subset.

atlas-inclusion-exclusion-principle · canonical_mko

[Inclusion-exclusion principle](https://ocme.evemisslab.com/en/mko/mko-inclusion-exclusion-principle/)

## Prerequisite nodes


- [Set operations](https://ocme.evemisslab.com/en/atlas/atlas-set-operations/)
- [Basic counting principles](https://ocme.evemisslab.com/en/atlas/atlas-counting-principle/)
- [Cardinality comparison of sets](https://ocme.evemisslab.com/en/atlas/atlas-cardinality-comparison/)
- [Mathematical induction](https://ocme.evemisslab.com/en/atlas/atlas-mathematical-induction/)