设F是一个群类。群G的子群H称为在G中F-S-可补的,如果存在G的一个子群K使得G=HK且K/K∩HG∈F,并称K为H的一个F-S-补,其中HG=Core（H）=......