# Glovers linearization

### From Glossary

Given a binary variable and a linear function in discrete and/or continuous variables in for some set , this linearization reformulates the product with a (free) continuous variable and enforces that by adding four linear inequalities:

where the values and are defined as

and is any relaxation of .