Go backward to Logic and Set TheoryGo up to TopGo forward to Relations |

- A binary predicate
`p`defines a set`S`of 2-tuples:`S`:= {<`x`,`y`>:`p`(`x`,`y`)}. - A set
`S`of 2-tuples defines a binary predicate`p`:`p`(`x`,`y`) : <=> <`x`,`y`> in`S`.

*We may interpret a set of tuples as a predicate (relation).*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999