IsPreorder function

Checking for pre-ordering (or quasi-ordering).