Right quotient of elements

From Groupprops

Definition

Definition with symbols

Given elements and of a group , the right quotient of by is defined as the element .