相互独立,完全穷尽