| 结构函数： | 故障树的结构函数定义为：
|
| 关联性： | 
|
| 单调性： | 
正规故障树是单调故障树。 |
| 单调关联故障树： | 若故障树的结构函数是单调的，且所有底事件都与故障树的顶事件关联，则称该故障树为
单调关联故障树。 |
| 非单调关联故障树： | 不是单调关联的故障树称为非单调关联故障树。 |
| 模块： | 对于已经规范化和简化(见4和5.1)的故障树，模块是至少有两个底事件，但不是所有底
事件的集合。集合中的这些底事件向上可到达同一个逻辑门，并且必须通过此门才能到达顶事
件。故障树的所有其它底事件向上均不能到过该逻辑门。 |
| 最大模块： | 经规范化和简化的故障树的最大模块是该故障树的一个模块，且没有其它模块包含它。 |
| 模块子树： | 故障树的模块连同向上可到达的同一逻辑门和全部中间逻辑门和事件构成一株较小的故
障树，称为原故障树的一个模块子树。 |
| 割集和最小割集： | 割集是单调故障树的若干底事件的集合，如果这些底事件都发生将导致顶事件发生。
最小割集是底事件的数目不能再减少的割集，即在最小割集中任意去掉一个底事件之后，
剩下的底事件集合就不是割集。一个最小割集代表引起故障树顶事件发生的一种故障模式。 |
| 故障概率函数： | 
|