A directed graph formula_19 is called semicommutative if, whenever there exist distinct formula_84 such that formula_85 and formula_86 are edges in formula_19 for each formula_88, then there also exist distinct formula_89 so that formula_90 and formula_91 are edges in formula_19 for each formula_88.