 Just as in the group case, every ring can be represented as a quotient of a free ring.Now, we can impose relations among symbols in "X" by taking a quotient.Explicitly, if "E" is a subset of "F", then the quotient ring of "F" by the ideal generated by "E" is called the ring with generators "X" and relations "E".