Definition of Gauger