Some FM common terminology

Complete vs Incomplete
A checking method is incomplete means
checking result is true => the real result is true
checking result is false =/=> the real result is false
while if it is complete
checking result is true => the real result is true
checking result is false => the real result is false

Partition
(A set {A1,A2,...,An} partitions another set A)
A collection of non-empty set {A1,A2,...,An} is a partition of a set A, iff
1. A=$A1 \cup A2 \cup ... \cup An$
2. A1, A2,..., An is mutually disjoint.