Equality of Algebraic Structures

Theorem

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

$S = T$

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

Proof

This follows from set equality and Equality of Ordered Pairs.