Начнём с основы
Три основных типа: маркированный, нумерованный и список определений.
Виды
<ul><li>Пункт</li></ul>
<ol><li>Шаг 1</li></ol>
<dl>
<dt>HTML</dt>
<dd>Язык разметки</dd>
</dl>
Вложенность допустима. У ol есть start, reversed, type. Меню навигации часто размечают как ul/li + CSS, а не «голые» ссылки.
Итог
Список — если есть перечень; для пар термин/описание — dl.