(a) If M and N are finite sets and is IM/>/N/, then every map of M after N is surjective.
(b) If M is a finite set, then there is no bijective mapping from M to M x M.