Definition. The inverse is unique.