Nedenfor vil forskjellige relasjoner bli definert, men disse vil kun gjelde for toppen av en term, og kan ikke brukes på deltermer. Anta derfor at vi har en relasjon på termer, og vi kan så definere relasjonen som følger: hvis , så hvis , så hvis , så hvis , så Relasjonen er dermed relasjonen som gjør ett -steg på en del-term av .