Go backward to RelationsGo up to TopGo forward to Representation of Relations |

- Let
`R`:= {<`x`,`y`>:`x`in**N**/\`y`in**N**/\`x`<=`y`}`R`is a relation on**N**(`R`subset**N**x**N**); it is also a relation on**Z**(`R`subset**Z**x**Z**). - Let
`S`:= {<`x`,`x`/2>:`x`in**N**}`S`is a relation between**N**and**Q**(`R`subset**N**x**Q**) and it is also a relation on**Q**(`R`subset**Q**x**Q**); it is*not*a relation on**N**(`R`not subset**N**x**N**).

Author: Wolfgang Schreiner

Last Modification: October 14, 1999