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