Source : Free On-Line Dictionary of Computing

discrete preorder
     
         A {preorder} is said to be discrete if any two
        of its elements are {incomparable}.
     
        (1995-09-21)