Invarianten for en dobbeltkædet lister er: Metoden isPartOfDoubleLinking(k) udtrykker uformelt at: og De to andre predikater er blot rand- og specialtilfælde af ovenstående.For alle indre kædeobjekter k skal der gælde
k.isPartOfDoubleLinking();
For et evt. første kædeobjekt k skal der gælde:
k.isFirstOfDoubleLinking();
For et evt. sidste kædeobjekt k skal der gælde:
k.isLastOfDoubleLinking();
k.next().previous() = k
k.previous().next() = k