En el contexto de conjuntos discretos, se estudia la construcción de conos convexos discretos en el trabajo de Adivar y Fang, y se propone al conjunto N^n_+ como un cono convexo discreto, utilizando la L♮-convexidad definida por K. Murota. Sobre este conjunto se introduce la métrica de Thompson sobre un conjunto que satisface ambas definiciones siguiendo un procedimiento análogo al utilizado en la construcción de esta métrica para la teoría no lineal de Perron-Frobenius. Con estos conceptos como base, se detallan funciones definidas en este tipo de conjuntos, de tal forma que, un semigrupo construido a partir de estas funciones induce de manera algebraica un semigrupo de operadores de composición.