User talk:Lord Farin/Proof Structures

Thank you for this! --GFauxPas 15:49, 4 November 2011 (CDT)

Notes to Set Equality Proofs
A few points:

a) Might want to add a link to the justification for $\complement \left({A}\right) \subseteq \complement \left({B}\right) \iff B \subseteq A$ so as to ensure rigor.

b) Note that house style uses $\subseteq$ rather than $\subset$ for possibly-not-proper subset, so as to minimise ambiguity.

c) May be just me but I'm not sure about the "we have" in the wording: IMO the line is best as just "Then $A = B$". I'm okay with "we have" and so on in proofs, if it makes the exposition clearer, but a formal statement of the result requires formal language. --prime mover 06:08, 5 November 2011 (CDT)