Remark

By now we assume that you are aware from previous cases like monoids and rings that the intersection of any collection of subfields is a subfield. This fact is of course used in the definition.

Another description (again, as usual) of the subfield generated by X is that it is the smallest subfield containing X.