P
Initializing...
The order a transitive relation induces on sets is transitive · Prove2Me