Explícitamente, dado un conjunto de términos {"t", "t"..., "t"} y cierta relación semántica simétrica entre ellos se construye un grafo "G" = ("V","A") cumpliendo las siguientes condiciones: