Single Idea 9704

[catalogued under 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