Go backward to RelationsGo up to TopGo forward to Example |

*Definition: R holds on x_{0}, ...,
x_{n-1}*

R(x_{0}, ...,x_{n-1}) : <=> <x_{0}, ...,x_{n-1}> inR.

*Example:*

is interpreted asforallx:existsR: (forally:R(x,y) =>x=y)

forallx:existsR: (forally: <x,y> inR=>x=y)

*Blur distinction between relations as sets and predicates*.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999