Go backward to Relations
Go up to Top
Go forward to Example
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.