public static <T extends DC> Set<Pair<T,PT<Integer>>> codom(Set<Pair<Pair<T,PT<Integer>>,Pair<T,PT<Integer>>>> phiMax)
  { if(phiMax!=null)
    { if(phiMax.getNext()!=null)
      { return new Set(phiMax.getFst().snd(),codom(phiMax.getNext()));
      }
      else
      { return new Set(phiMax.getFst().snd(),null);
      }
    }
    else
    { return null;
    }
  }