A homomorphism that maps a mathematical set into itself.

• 自同态一数学集映入自身的同态