行而上

摘要： Schröder-Bernstein's Theorem 对任意集合\(A,B\)，若\(f: A \to B\)与\(g: B \to A\)都是单射，那么存在\(A\to B\)的双射。 Context 设\(f: A \to B, g: B \to A\)是单射。假设\(A,B\)都是有限集， 阅读全文