∧-TRANSITIVE DIGRAPHS PRESERVING A CARTESIAN DECOMPOSITION