# Vector Space

**DEFINITION1****:** Let be a set with at least two distinct elements, and be two functions. If the following conditions hold, then is called a field:

**F1)** for all ,

**F2)** for all ,

**F3)** there exists such that for all ,

**F4)** for each , there exists such that ,