소거의 정의와 원리