A ring where multiplication is commutative and there is always an inverse.
A field can be seen as an Abelian group that has two group operations: addition and multiplication, and they are compatible (distributive property).
Basically the nicest, least restrictive, 2-operation type of algebra.
Examples: