Talk:Factor (function)/Induced is surjective iff function is surjective