Let as the projection to the orthogonal complement of .Then the basis is HKZ-reduced if it is size-reduced and . This definition gives us a relatively simple way to compute a HKZ-reduced basis by iteratively finding the shortest vector in orthogonal projections.