Claim: for any sets A and B, if and , then . This claim is (a) Obvious from the definition of (b) A non-obvious theorem, often called the Cantor Schroeder Bernstein Theorem (c) A non-obvious theorem proved by Schwartz and Cauchy in 1960 (d) True only when A and B are finite sets (e) True since is obviously antisymmetric
