Si es un subconjunto finito no vacío de enteros positivos, entonces en este trabajo demostramos que es una covariedad; por lo tanto, podemos organizar los elementos de en forma de árbol. Este hecho nos permite presentar varios algoritmos, incluido uno que calcula todos los elementos de , otro que obtiene sus elementos máximos (con respecto al orden de inclusión de conjuntos) y uno más que calcula los elementos de que no pueden expresarse como una intersección de dos elementos de que lo contienen adecuadamente.