Go backward to Decomposition of Conjunctions Go up to Top Go forward to Indirect Method for Conjunctions |
Proposition: For every x and y, we have
x = y <=> (x subset y /\ y subset x).
Proof: Take arbitrary x and y. We prove x = y <=> (x subset y /\ y subset x).