Let be a permutation group. Let be a sequence of distinct integers, , such that the pointwise stabilizer of is trivial. Define , and define to be the pointwise stabilizer of . A strong generating set for the base is a set such that for each .
The base and the SGS are said to be non-redunant if for .