Sequence independent lifting for mixed-integer programming

We show that superadditive lifting functions lead to sequence independent lifting of inequalities for general mixed-integer programming. As an application, we note that mixed-integer rounding (MIR) may be viewed as sequence independent lifting. Consequently, we obtain facet conditions for MIR inequalities for mixed-integer knapsacks.