集合Sとその上の二項関係Rに対して、前順序であり、反対称律を満たすもの

つまり、反射律、推移律、反対称律を満たす

完全律を満たさないので、任意の元同士を常に比較できるわけではない