¿Cómo puedo establecer el valor predeterminado para un elemento HTML <select>?

Pensé que agregar un"value" atributo establecido en el<select> elemento a continuación causaría el<option> que contiene mi proporcionado"value" para ser seleccionado por defecto:

<select name="hall" id="hall" value="3">
  <option>1</option>
  <option>2</option>
  <option>3</option>
  <option>4</option>
  <option>5</option>
</select>

Sin embargo, esto no funcionó como esperaba. ¿Cómo puedo establecer qué<option> elemento está seleccionado por defecto?