El glosario o lista de definiciones es un conjunto de ítems, cada uno de los cuales tiene un párrafo descriptivo propio.
La orden consta de tres partes: <DL> (siglas de definition list) es la principal e incluye toda la lista; <DT> (siglas de definition term) que contiene el término a definir; y <DD> (siglas de definition) que contiene la definición o explicación del término. Todas son continentes, aunque algunos autores dejan a DT y DD sin fin de tarea.

Atributos:

Ejemplo:

<DD><DT><B>Divergencia</B><DD>L<SUB>1</SUB> es una divergencia de L<SUB>2</SUB> si tiene un conjunto diferente de teoremas/inferencias válidas que esencialmente suponen un vocabulario compartido con L<SUB>2</SUB>. <DT><B>Equivalencia</B><DD>Dos fbfs (enunciados) son <EM>lógicamente equivalentes</EM> si necesariamente tienen el mismo valor de verdad. Son <EM>materialmente equivalentes</EM> si tienen el mismo valor de verdad.</DD>

se verá,

Divergencia
L1 es una divergencia de L2 si tiene un conjunto diferente de teoremas/inferencias válidas que esencialmente suponen un vocabulario compartido con L2.
Equivalencia
Dos fbfs (enunciados) son lógicamente equivalentes si necesariamente tienen el mismo valor de verdad. Son materialmente equivalentes si tienen el mismo valor de verdad. (S. Haack- Filosofía de las lógicas)
[siguiente] - [previo] - [tope] - [inicio]