This preview shows page 1. Sign up to view the full content.
Unformatted text preview: b R v . Now a R x , x R b and b R v , so a R v by transitivity. Therefore v [ a ] and so [ b ] [ a ] . But [ a ] [ b ] using a similar argument, so [ a ] = [ b ] . 3.7 Transitive Closure Consider the following situation. There are various ights between various cities. or any two cities, we wish to know whether it is possible to y from one to the other allowing for changes of plane. We can model this by deFning a set City of cities and a binary relation R such that a R b if and only if there is a direct ight from a to b . This relation may be represented as a directed graph with the cities as nodes, as in the following example: 27...
View
Full
Document
 Spring '10
 kooskash
 Math, Sets

Click to edit the document details