A binary encoding of numbers such that n and n+1 differ in only one place.