Example

Given a ring A and a subfield K of A, A is a (right or left) vector space over K and therefore admits a basis; in particular, every extension field of a field K has a basis as a left (resp. right) vector space over K. Thus the field R of real numbers admits an (infinite) basis as a vector space over the field Q of rational numbers; such a basis of R is called a Hamel basis.