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. Collections: Multidisciplinary Databases and Resources; Mathematics