def METHOD_NAME(self, x, y):
    r"""
    Return the product of two elements `x` and `y` of the monoid, as
    per :meth:`Semigroups.ParentMethods.product`.
    EXAMPLES::
        sage: M = FiniteMonoids().example()
        sage: M.product(M(3), M(5))
        3
    """
    return self((x.value * y.value) % self.n)