History of Subset

	Revision 7 . . (edit) December 17, 2001 5:35 am by AxelBoldt [copyedit]
	Revision 6 . . (edit) December 17, 2001 4:54 am by (logged).117.133.xxx
	Revision 5 . . December 17, 2001 4:51 am by (logged).117.133.xxx [Moved last two paragraphs of [[Power set]] here.]
	Revision 4 . . August 10, 2001 10:38 pm by AxelBoldt [another example to illustrate description of sets by defining properties]

---

Difference (from prior major revision) (minor diff, author diff)

Added: 8a9,13

In case you were wondering, for any given set X, X is always considered to be a subset of itself (by definition) - a proper subset is any subset except the set itself. The empty set, written {}, is also a subset of any given set X. This is because the empty set vacuously satisfies the definition of a subset of X: since the empty set has no elements, every element in the empty set is also an element of X. If the above paragraph sounds a bit like double-speak - it is only because it is stating the obvious.

Added: 10a16,18

/Talk?