Mining Frequent Itemsets: a Formal Unification