Theorem: FrequentPattern-Funktion durch konditionierte Datenbasis

Sei eine Menge beliebiger Elemente.
Sei ein Transaktionsdatensatz über .
Sei die absteigend sortierte Liste von Elementen mit .

Dann gilt nach der Charakterisierung der FrequentPattern-Funktion: