La existencia de un elemento simétrico bilátero, debe de cumplir el requisito de ser un mismo elemento operado por ambos lados, en consecuencia, queda establecida una relación biunívoca entre un elemento dado a y su simétrico ā.