Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Definition FS.1.1: x0y = x \ y y \ x. Precedence: 60. Definition FS.1.2: x y is the set of (z,w) such that z x and w y.
 

Summary: Definition FS.1.1: x0y = x \ y y \ x. Precedence: 60.
Definition FS.1.2: x y is the set of (z,w) such that z x and w y.
Precedence: 20.
Definition FS.2.1: A is a binary relation if and only if for every y A,
there exist z, w such that y = (z,w).
Definition FS.2.2: A is a ternary relation if and only if for every y A,
there exist z, w, u such that y = (z,w,u).
Definition FS.2.3: If R is a binary relation then the domain of R is the
set of x such that there exists y such that xRy. Otherwise the domain of R is
undefined.
Definition FS.2.4: If R is a binary relation then the range of R is the
set of y such that there exists x such that xRy. Otherwise the range of R is
undefined.
Definition FS.2.5: The field of R is the domain of R union the range of
R.
Definition FS.2.6: If R is a binary relation then the converse relation to
R is {(x, y) : yRx}. Otherwise the converse relation to R is undefined.
Definition FS.2.8: If R and S are binary relations then R S is the set
of (x,y) such that there exists z such that xRz and zSy. Otherwise R S is
undefined. Precedence: 10.

  

Source: Avigad, Jeremy - Departments of Mathematical Sciences & Philosophy, Carnegie Mellon University

 

Collections: Multidisciplinary Databases and Resources; Mathematics