Let G{\displaystyle G} be a finite permutation group acting on a set Ω{\displaystyle \Omega }. A sequence
of k distinct elements of Ω{\displaystyle \Omega } is a base for G if the only element of G{\displaystyle G} which fixes every βi∈B{\displaystyle \beta _{i}\in B} pointwise is the identity element of G{\displaystyle G}.