Definition 19.2:

The set of deck transformations of a covering projection $p : \widetilde X \longrightarrow X$ forms a group under composition of maps denoted by Deck $(\widetilde X, X)$.