We now have both the space ($\mathbb{C}^+$) and the transformations (Möbius transformations), and are just about ready to embark on non-Euclidean adventures. Before doing so, however, one more phrase needs defining: group of transformations. This phrase has a precise meaning. Not every collection of transformations is lucky enough to form a group.