Transitive and Well-Founded Relations
(for noframe browsers)