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