Un campo ordenado es un campo formula_376 que también es un conjunto ordenado y donde además se cumplen las siguientes dos propiedades: