back to ideas for this text


Single Idea 9716

[from 'A Mathematical Introduction to Logic (2nd)' by Herbert B. Enderton, in 4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes ]

Full Idea

Equivalence classes will 'partition' a set. That is, it will divide it into distinct subsets, according to each relation on the set.

Gist of Idea

We 'partition' a set into distinct subsets, according to each relation on its objects

Source

Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0)

Book Reference

Enderton,Herbert B.: 'A Mathematical Introduction to Logic' [Academic Press 2001], p.6