Критерии существования биекции

биекция, действующая из множества $$A$$ в множество $$B$$, существует тогда и только тогда, когда
 * 1) существует сюръекция, действующая из множества $$A$$ в множество $$B$$, и существует сюръекция, действующая из множества $$B$$ в множество $$A$$;
 * 2) существует инъекция, действующая из множества $$A$$ в множество $$B$$, и существует инъекция, действующая из множества $$B$$ в множество $$A$$;