previous up next
Go backward to Set Identities
Go up to Top
Go forward to Equality Reasoning
RISC-Linz logo


Proposition: forall A, B: A union B = B union A

Proof: Take arbitrary A and B. By definition of =, we have to prove

(1) forall x: x in A union B <=> x in B union A.
Take arbitrary x.
Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next