이 브라베 격자라고 하자. 즉, 유한한 수의 생성원을 가지고, 그 선형생성 부분공간(span)이
전체인 아벨 군이라고 하자. 그렇다면
의 역격자
는 다음과 같은 집합이다.
.
이 브라베 격자를 이룬다는 사실은 쉽게 확인할 수 있다.
역격자의 기저는 원래 격자의 기저들의 성분이 이루는 행렬의 역행렬이다. 즉, 원래 격자의 기저가
(
)이면, 역격자의 기저
는 다음을 만족한다.
![{\displaystyle \left[\mathbf {b} _{1}\mathbf {b} _{2}\cdots \mathbf {b} _{n}\right]^{\top }=\left[\mathbf {a} _{1}\mathbf {a} _{2}\cdots \mathbf {a} _{n}\right]^{-1}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/1ecf727d1795394843e39436ebbbf8861036513e)
3차원에서는 역격자의 기저를 벡터곱을 사용하여 다음과 같이 쓸 수 있다.


.
수학과 결정학에서는 위와 같은 정의를 사용하지만, 고체물리학에서는 간혹 다음과 같은 정의를 사용하기도 한다.
.
이는 앞의 정의에 비교하여 벡터가
배 더 긴 것 밖에는 차이가 없다.