Definition:Can't Happen

Definition

Probability Theory

Let $A$ be an event in a probability space $\struct {\Omega, \Sigma, \Pr}$.

Suppose $\map \Pr A = 0$.

Then we say (colloquially) that $A$ can't happen.

Computer Science

A branch of a program which, because of the way the flow is structured, cannot be accessed, is referred to as can't happen:

if (x == 1) then {
    do.something (x)
} else if (x != 1) then {
    do.somethingElse (x)
} else {
    // can't happen
}

There are sometimes reasons for doing stuff like this, but professionals usually wince when they have to maintain it.