The transitive reduction of a binary Relation on a Set is the minimum relation on with the same Transitive Closure as . Thus for any elements and of , provided that and there exists no element of such that and .