Defines an algebraic structure extension known as a field extension.