Definition:Properties of Algebraic Structures of Two Operations

Definition
The purpose of this page is to gather into one place the various types of algebraic structure of two binary operations: $+, *$, and to classify them according to the properties they hold.

The properties are defined by the following key:

A checkmark in brackets: $(\checkmark)$ denotes that the property indicated can be derived from the others.

Also see

 * Definition:Properties of Algebraic Structures of One Operation