一般に、aは0<a≤1で考えるものとする（a>1ならばfはI上で定数ということになってしまう）。
给定G的任何元素a和a'，如果a~a'，则a−1~a'−1（这个条件可以从其他四个条件证明，所以严格上是冗余的）。