One question: How do you define (in the GAP) a set by comprehension? i.e. given a set T and an element p I want to define a set S compose by element y of the form: y=x * p * Inverse(x), such that x "move" over all T. Thanks. Fernando.