  Our next task will be to give the condition on frames which corresponds to \((G)\) for a given selection of values for \(h, i, j\), and \(k\). In order to do so, we will need a definition. The composition of two relations \(R\) and \(R'\) is a new relation \(R \circ R'\) which is defined as follows: