A counterexample is one instance satisfying a claim’s hypotheses but not its conclusion, and therefore disproves the universal claim.
Structural induction proves a property of every recursively generated object by checking the initial objects and showing that every construction rule preserves the property.
A probability-preserving bijection pairs outcomes of two events without changing their masses, proving the events have equal probability.
