Transitieve afsluiting: verschil tussen versies

De transitieve reductie is de tegenhanger van de transitieve sluiting. De transitieve reductie van een tweeplaatsige relatie <math>R</math> is de kleinste relatie die dezelfde transitieve sluiting heeft als <math>R</math>. Er bestaan relaties waarvoor er geen transitieve reductie bestaat., Erer zijn ook relaties waarvoor er verschillende transitieve reducties bestaan., maar Alsals de graaf van de relatie een gerichte, acyclische graaf is, bestaat er evenwel steeds één unieke transitieve reductie. Een graaf met de transitieve reductie van een relatie heet het [[hasse-diagram]] van die relatie.