The science and art of disposing military and naval forces
   in order for battle, and performing military and naval evolutions. It
   is divided into grand tactics, or the tactics of battles, and
   elementary tactics, or the tactics of instruction.