A construct that guarantees the `finally` block executes regardless of whether an exception occurs in the `try` block. Used for resource cleanup: closing files, freeing objects, releasing locks. (Ch. 19)