>>745
二項関係で、反射律、推移律、比較可能性を満たすもの