A hierarchical decomposition of a problem into branches that are mutually exclusive and collectively exhaustive, so every cause or solution is covered exactly once.