 It is often desirable to talk about field extensions in situations where the small field is not actually contained in the larger one, but is naturally embedded.For this purpose, one abstractly defines a field extension as an injective ring homomorphism between two fields.