Para todo "a" de "G", existe un elemento y solo uno, que denotamos como "ā" tal que: