Quotient of a formal language

In mathematics and computer science, the right quotient (or simply quotient) of a formal language ${\displaystyle L_{1}}$ with a formal language ${\displaystyle L_{2}}$ is the language consisting of strings w such that wx is in ${\displaystyle L_{1}}$ for some string x in ${\displaystyle L_{2}}$. In symbols, we write:

...
Wikipedia