derived relation