Definition:Generated Subring