Definition: Extended group