A condition of the soft algebra as a direct product of chains

• 软代数可分解为链直积的一个条件