>>312
合理的!?
推移性と完備性を満たした二項関係!?