subdirect irreducible