It is shown that valid inequalities for 0-1 problems can be essentially characterized by two underlying functions, one of which is superadditive. These functions are essential to the characterization of maximal inequalities, the projection of valid inequalities and the definition of a master polytope. Similar properties are shown to hold for 0-1 group problems.
Wolsey, L. (1977). Valid inequalities and superadditivity for 0-1 integer programs. Mathematics of operations research, 2, 66-77. https://hdl.handle.net/2078.5/76957 (Original work published 1977)