Si "k" no está, se busca el primer nodo posterior a "k" que esté activo y se le asigna a la clave: este nodo sustituivo se denomina "sucesor " de "k" ("successor(k)").