Single Idea 9705

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

Full Idea

'fld R' indicates the 'field' of a relation, that is, the set of all objects that are members of ordered pairs on either side of the relation.

Gist of Idea

'fld R' indicates the 'field' of all objects in the relation

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