Implementation of mathematics in set theory: Difference between revisions

Revision as of 18:06, 31 October 2016

Revision as of 21:32, 21 June 2018

Line 54:

Let <math>R</math> and <math>S</math> be given [[binary relation]]s. Then the following concepts are useful:

The '''[[inverseconverse relation|converse]]''' of <math>R</math> is the relation <math>\left\{\left(y, x\right) : xRy\right\}</math>.

The '''___domain''' of <math>R</math> is the set <math>\left\{x : \exists y \left(xRy\right)\right\}</math>.