Congruency, Homomorphism and Isomorphism on Autometrized Algebras | Synapse