if and only if and (see subset)
That is, the sets and have the exact same elements.
Using Natural Deduction (Predicate Logic):
proof