 If \(\fA = (A, R)\) is a mathematical structure, we may consider the structure \(\hat{\fA} = (\hat{A},\hat{R})\).  From the transfer principle it follows that \(\fA\) and \(\hat{\fA}\) have precisely the same first-order properties.