back to ideas for this text


Single Idea 9704

[from 'A Mathematical Introduction to Logic (2nd)' by Herbert B. Enderton, in 4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / a. Symbols of ST ]

Full Idea

'ran R' indicates the 'range' of a relation, that is, the set of all objects that are members of ordered pairs and that are related to by the first objects.

Gist of Idea

'ran R' indicates the 'range' of objects being related to

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.4