Lehman’s theorem on the structure of minimally nonideal clutters is a fundamental result in polyhedral combinatorics. One approach to extending it has been to give a common generalization with the characterization of minimally imperfect clutters (Sebő, 1998; Gasparyan et al., 2003). We give a new generalization of this kind, which combines two types of covering inequalities and works well with the natural definition of minors. We also show how to extend the notion of idealness to unit-increasing set functions, in a way that is compatible with minors and blocking operations
