Definition:Properties of Algebraic Structures of One Operation

Definition
The purpose of this page is to gather into one place the various types of algebraic structure of one binary operation and classify them according to the properties they hold.

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

Also see

 * Definition:Properties of Algebraic Structures of Two Operations