Let be a Linear Code with Parity Check Matrix .
Then for any we define the syndrome of to be
Note that .