Un conjunto continuo es un conjunto ordenado linealmente , todas cuyas secciones propias son secciones de Dedekind , es decir, para cualquier partición en dos subconjuntos no vacíos y tales que cada elemento de precede a cada elemento de , ya sea en es el elemento más grande, pero no no hay elemento más pequeño en , o en no hay elemento más grande, pero hay un elemento más pequeño en .