conjunto de categorías (ordenadas o no).