Implementation of mathematics in set theory: Difference between revisions

Content deleted Content added
Line 96:
 
The <strong>range</strong> of a relation R is the ___domain of the converse of R.
 
The <strong>field</strong> of a relation R is the union of the ___domain and range of R.
 
The <strong>preimage</strong> of an element x of the field of R is the set <math>\{y \mid y R x\}</math> (used in the definition of "well-founded" below).
 
The <strong>relative product</strong> <math>R|S</math> is the relation <math>\{(x,z) \mid (\exists y.x R y \wedge y S z)\}</math>.