9. (Mil.) (a) Two or more brigades under the command of a general officer. (b) Two companies of infantry maneuvering as one subdivision of a battalion. (c) One of the larger districts into which a country is divided for administering military affairs.