RENAMED: de_transitive()->rel_reduction_transitive();
.Rd files for rel_*_transitive have been merged;
rel_reduction_transitive() - started C++ rewrite