Definition:Subfield of Ring