Go backward to Relations Go up to Top Go forward to Example

Relations

Definition: R holds on x₀, ..., x_n-1

R(x₀, ..., x_n-1) : <=> <x₀, ..., x_n-1> in R.

Example:

forall x: exists R: (forall y: R(x,y) => x=y)

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

Blur distinction between relations as sets and predicates.