Before revision: In logic (especially in its applications to mathematics and philosophy), a counterexample is an exception to a proposed general rule or law, and often appears as an example which disproves a universal statement generalization.
After revision: A counterexample is any exception to a generalization.