사고에 대한 시스템의 약점을 표현한다.

정상사상(Top 사상)을 일으키는 최소한의 집합이다.

시스템에 고장이 발생하지 않도록 하는 모든 사상의 집합이다.

일반적으로 Fussell Algorithm을 이용한다.