Changes

Another striking example is the how traditional marriage provides a greater set than otherwise:  the union of <math>A = \{a, b, c, d\}\,</math> and <math>B = \{a, b, c, e\}\,</math> is merely <math>\{a, b, c, d, e\}\,</math>, while the union of a man, <math>M = \{a, b, c, d\}\,</math> and a woman <math>W = \{e, f, g, h\}\,</math>, is <math>\{a, b, c, d, e, f, g, h\}\,</math>, which is a broader and more diverse set.  

Another striking example is the how traditional marriage provides a greater set than otherwise:  the union of <math>A = \{a, b, c, d\}\,</math> and <math>B = \{a, b, c, e\}\,</math> is merely <math>\{a, b, c, d, e\}\,</math>, while the union of a man, <math>M = \{a, b, c, d\}\,</math> and a woman <math>W = \{e, f, g, h\}\,</math>, is <math>\{a, b, c, d, e, f, g, h\}\,</math>, which is a broader and more diverse set.  

Define "A" as the set of all false assertions, and "B" as the set of all the Bible passages. Since there are no [[Counterexamples to the Bible]], the intersection between set A and set B is the [[empty set]].

Define "A" as the set of all false assertions, and "B" as the set of all the Bible passages. Since there are no [[Counterexamples to the Bible]], the intersection between set A and set B is the [[empty set]]. On the other hand, if "C" is set of evolutionary assertions, then the intersection between set A and set C is not empty because it contains [[Counterexamples to Evolution]].

== Application -- Combinatorics==

== Application -- Combinatorics==