On disjunction convex hulls by lifting

Keywords: mixed-integer optimization, disjunction, big M, lifting, convex hull, polytope, facet, mixed-integer rounding, MIR inequality