The country file defines the postal codes of countries, as part of the zip code processing code.
state file, zc (zip code) processing code, zcf file