D/dag////
D/equivalence////
D/isomorphism////
D/permutation////
