Si puo' dimostrare che se una struttura algebrica e' dotata di elemento neutro questo e' unico.