전순서 관계(r4로 되돌리기)