Definition:Proper Subring