`Image( `

`trans` )

`Image`

returns the image of the transformation `trans`.

gap> Image( Transformation( [ 3, 3, 4, 2, 5 ] ) ); [ 2, 3, 4, 5 ]

The **image** of a transformation is the set of its images. For a
transformation of degree *n* this is always a subset of the set *{1,
... , n}*.