  This is the first of a series of papers in which we initiate and develop the
theory of reflection monoids, motivated by the theory of reflection groups. The
main results identify a number of important inverse semigroups as reflection
monoids, introduce new examples, and determine their orders.
