Zasada włączeń i wyłączeń — równanie będące twierdzeniem kombinatoryki i częścią definicji w teorii miary.