ThmDex – An index of mathematical definitions, results, and conjectures.

▼	Set of symbols
▼	Alphabet
▼	Deduction system
▼	Theory
▼	Zermelo-Fraenkel set theory
▼	Set
▼	Binary cartesian set product
▼	Binary relation
▼	Map
▼	Bijective map

Definition D353

Set automorphism

Formulation 0

A D18: Map $f : X \to Y$ is an automorphism on $X$ if and only if

(1)	$X = Y$ (D2660: Set endomorphism)
(2)	$f$ is a D468: Bijective map

Children

▶	D2919: Permutation