19.15 상호 배제 관계(Mutex Relations)의 정의와 유형 분류