A multi-way selection statement that branches execution based on the value of an ordinal expression (the *selector*). Pascal's `case` statement supports individual values, ranges, and comma-separated lists. The `else` clause handles unmatched values. (Ch. 5)