Proposition: Obermenge nicht-häufiger Itemsets ist ebenfalls nicht häufig

Sei eine Itemmenge.
Sei ein Transaktionsdatensatz über .
Sei .
Sei .

Dann gilt mit dem Apriori-Prinzip, dass Obermengen nicht-häufiger Itemsets ebenfalls nicht häufig sind, also: