Debe tenerse en cuenta que este orden es exactamente Scott-compatible opuesto del usado generalmente en la teoría de anillos, que sigue, incorrectamente, la inclusión conjuntista de ideales.