Subdirect decompositions of algebras from 2-clone extensions of varieties

Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠${\displaystyle \varnothing }$. For a variety V of type τ we denote by ${\displaystyle V^{c,2}}$ the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible or |F(φ)|, |F(ψ)|≥2. Under some assumption on terms (condition (0.iii)) we show that an algebra ${\displaystyle \{>A\}}$ belongs to ${\displaystyle V^{c,2}}$ iff it is isomorphic to a subdirect product of an algebra from V and of some other algebras of very simple structure. This result is applied to finding subdirectly irreducible algebras in ${\displaystyle V^{c,2}}$ where V is the variety of distributive lattices or the variety of Boolean algebras.