# Facet-defining inequality

In integer programming, an inequality, $LaTeX: a^Tx \ge b$, such that $LaTeX: \{x \in P: a^Tx \ge b\}$ is a facet of the integer polyhedron, $LaTeX: P$.