Minimal counterexample

A minimal counterexample is a specific type of counterexample that demonstrates that a certain statement or conjecture is false while also satisfying an additional criterion of minimality. In mathematical terms, a counterexample is an instance that disproves a given statement (for example, a theorem or conjecture).