new: rel_reduction_hasse (as a replacement of de_transitive())