Transferencia
Fuera del código
En una biblioteca, la ficha de cada libro dice en qué estantería está. El invariante: la ficha coincide con el sitio real del libro. Si alguien cambia un libro de estantería sin actualizar la ficha, nadie lo nota hasta que otra persona lo busca.