One of the defining properties of algebraic structure with two operations such as ring and field:
This property shows how the two operations interact.