En kontinuerlig uppsättning är en linjärt ordnad uppsättning , vars alla korrekta sektioner är Dedekind-sektioner , det vill säga för varje partition i två icke-tomma delmängder och sådan att varje element från föregår varje element från , antingen i är det största elementet, men där är inget minsta element i , eller i det finns inget största element, men det finns ett minsta element i .