A relation in Quaestor is the relationship between a parameter at the left side of an equal sign and several parameters, objects and functions on the right side of the equal sign.
For example:
F = m*ABS(a)
with F, m and a as parameters and ABS() as intrinsic function.