Page "Transitive closure" Paragraph 13
from
Wikipedia
* is minimal: Let be any transitive relation containing, we want to show that.
It is sufficient to show that for every,.
Well, since contains,.
And since is transitive, whenever, according to the construction of and what it means to be transitive.
Therefore, by induction, contains every, and thus also.
Page 1 of 1.
1.804 seconds.