De transitieve afsluiting of transitieve sluiting R + {\displaystyle R^{+}} van een tweeplaatsige relatie R {\displaystyle R} op een verzameling M {\displaystyle M} is de kleinste transitieve relatie op M {\displaystyle M} die de oorspronkelijke relatie omvat. Wikipedia