n (mathematics) A statement of equality of two products of generators, used in the presentation of a group.