Talk:Power Set with Union and Intersection forms Boolean Algebra

I have chosen to use the formalism of Definition:Complement because later on, when dealing with Heyting algebras, the Definition:Relative Complement gains a different use. --Lord_Farin (talk) 11:21, 22 January 2013 (UTC)