Definition:Effective Transformation Group