previous up next
Go backward to Relations
Go up to Top
Go forward to Example
RISC-Linz logo


Definition: R holds on x0, ..., xn-1

R(x0, ..., xn-1) : <=> <x0, ..., xn-1> in R.


forall x: exists R: (forall y: R(x,y) => x=y)
is interpreted as
forall x: exists R: (forall y: <x,y> in R => x=y)

Blur distinction between relations as sets and predicates.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next