단정정렬 조건과 그 응용