Relationslogik är att jämföra med klasslogik men studerar operationer och egenskaper som är specifika för relationer utöver dem som är tillämpliga redan på klasser. Ett exempel på en sådan operation är den relativa produkten av två relationer R och S, som skrivs R/S. Om vi, såsom