En mellom to relasjoner R og S fungerer som en naturlig skjøt, med det unntak at tupler pares på en bestemt betingelse, kalt theta (θ). Dette skrives .