Let G be a transitive permutation group on the finite set A. a 'block' is a non-empty subset B of A such that for all either or . (here is the set ).

It can be easily shown that if B is a block and are all distinct images of B under the elements of G, then these form a partition of A.

Can the same be proved if G isnottransitive on the finite set A.