IsSection( C, im )
IsSection( xi )
This function may be called in two ways, and tests that the section given by the images of its generators is well-defined.
gap> im0 := [ (1,2,3), {2,3)(4,5) ];;
gap> IsSection( SC, im0 );
false
GAP 3.4.4