Endomorphism

No diff available--this is the first major revision. (no other diffs)

A endomorphism is a homomorphism from a set to itself. It is termed an automorphism if it is also an isomorphism.