Inverses -- an option used in creating a monoid which tells whether negative exponents will be allowed, making the monoid into a group.
See also:
Functions with optional argument named Inverses :