Single Idea 8665

[catalogued under 4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST]

Full Idea

A 'subset' of A is a set containing only members of A, and a 'proper subset' is one that does not contain all the members of A. Note that the empty set is a subset of every set, but it is not a member of every set.

Gist of Idea

A 'proper subset' of A contains only members of A, but not all of them

Source

Michèle Friend (Introducing the Philosophy of Mathematics [2007], 1.5)

Book Reference

Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.15


A Reaction

Is it the same empty set in each case? 'No pens' is a subset of 'pens', but is it a subset of 'paper'? Idea 8219 should be borne in mind when discussing such things, though I am not saying I agree with it.

Related Idea

Idea 8219 Logic has an infantile idea of philosophy [Deleuze/Guattari]