Since methods preserve the invariants, they can assume the validity of the invariant and need not explicitly check for it.
Dado que los métodos respetan las invariantes, pueden asumir su validez y no necesitan verificarlas explícitamente.