stipulative definition: a definition that is stipulated by someone and that is not a standard usage
abstraction: a general concept formed by extracting common features from specific examples
naval campaign: an operation conducted primarily by naval forces in order to gain or extend or maintain control of the sea