Could someone explain the term “invariants” in mutex locking?

Question

I have read Addison-Wesley\'s book, The Go Programming Language several times but still I have some trouble in chapter 9, page 265, which talks about sync.Mutex.