Equality of Algebraic Structures

Theorem
Two algebraic structures $\struct {S, \circ}$ and $\struct {T, *}$ are equal :


 * $S = T$
 * $\forall a, b \in S: a \circ b = a * b$

Proof
This follows from set equality and Equality of Ordered Pairs.