Azimuth Forum
Visit Site
The identity function on a preorder is a monotone function.
Version 2.1.8p2