A formal agreement between warring parties to stop fighting, though not necessarily a permanent peace treaty.