Order isomorphism
= Order isomorphism
{title2=$x<y\Longleftrightarrow f(x)<f(y)$}
{wiki}
An <order isomorphism> is a <bijection> preserving and reflecting the order relation. It transfers <well-foundedness> and <order type> between a coded order and its <ordinal> interpretation.