Fra en relasjon kan man definere relasjonen som gjør null eller flere R-steg, som er den refleksive og transitive tillukningen av . Og videre kan man definere , som er den refleksive, symmetriske, transitive tillukningen av .