分離可能展開の定義、決定、および特性