more from this thinker     |     more from this text


Single Idea 10103

[filed under theme 4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes ]

Full Idea

The idea of grouping together objects that share some property is a common one in mathematics, ...and the technique most often involves the use of equivalence relations.

Gist of Idea

Grouping by property is common in mathematics, usually using equivalence

Source

A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3)

Book Ref

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.63


The 7 ideas with the same theme [classes created by close relationships of members]:

We can introduce new objects, as equivalence classes of objects already known [Frege, by Dummett]
Frege introduced the standard device, of defining logical objects with equivalence classes [Frege, by Dummett]
An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton]
We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton]
Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz]
'Equivalence' is a reflexive, symmetric and transitive relation; 'same first letter' partitions English words [George/Velleman]
Grouping by property is common in mathematics, usually using equivalence [George/Velleman]