 In terms of Figure 3, the Equinumerosity Lemma tells us that if there is a relation \(R\) which is a witness to the equinumerosity of \( F\) and \(G\), then there is a relation \(R'\) which is a witness to the equinumerosity of the concepts that result when you restrict \( F\) and \(G\) to the objects other than \(x\) and \(y\), respectively. 