Text this: SCOTT-TOPOLOGY BASED ON TRANSITIVE BINARY RELATION.