- ある特性を満たした者同士を組み合わせたときに、その合成物も同じ特性を満たすという性質 - システムの各オブジェクトが[[Program correctness]] $P$を満たしており、それらにより構成されるシステム全体も$P$を満たすとき、$P$はComposableという。