Transitive and Well-Founded Relations as Properties

<body><a href="x002-m.html">Transitive and Well-Founded Relations as Properties</a> (for noframe browsers) </body>