 A structure \(\ma\) is second-order characterizable if there is a second-order sentence \(\theta_\ma\) such that \(\mb\models\theta_\ma\iff\mb\cong\ma\) for all structures \(\mb\) of the same vocabulary as \(\ma\).